Skip to content

Adapt to coq/coq#18938 (EConstr.ERelevance) #46

Adapt to coq/coq#18938 (EConstr.ERelevance)

Adapt to coq/coq#18938 (EConstr.ERelevance) #46