Skip to content

Adapt to coq/coq#19233 (template_universes don't duplicate level data)#126

Merged
ppedrot merged 1 commit intorocq-community:masterfrom SkySkimmer:template-univs-duplJun 28, 2024

Commits