Adapt to coq/coq#18938 (EConstr.ERelevance)#139
Merged
ppedrot merged 1 commit intorocq-community:masterfrom Apr 23, 2024
Merged
Adapt to coq/coq#18938 (EConstr.ERelevance)#139ppedrot merged 1 commit intorocq-community:masterfrom
ppedrot merged 1 commit intorocq-community:masterfrom
