Skip to content

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

Merged
ppedrot merged 1 commit intocoq-community:masterfrom SkySkimmer:erelevanceApr 23, 2024

Commits