Skip to content

Changes for Rocq PR#21164#2318

Merged
jdchristensen merged 4 commits intoHoTT:masterfrom
jdchristensen:trunc-universes
Oct 21, 2025
Merged

Changes for Rocq PR#21164#2318
jdchristensen merged 4 commits intoHoTT:masterfrom
jdchristensen:trunc-universes