Skip to content

Adapt to coq/coq#18038 (rewrite rules) #102

Adapt to coq/coq#18038 (rewrite rules)

Adapt to coq/coq#18038 (rewrite rules) #102