Skip to content

[derive] Add some missing universe constraints#754

Merged
CohenCyril merged 1 commit intoLPCIC:masterfrom proux01:param2_coqealJan 24, 2025

Commits

Commits on Jan 24, 2025