Skip to content

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

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

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