Rename UU-Fin to Type-With-Cardinality-ℕ#1316
Merged
EgbertRijke merged 8 commits intoUniMath:masterfrom fredrik-bakke:Type-With-Finite-CardinalityFeb 14, 2025
+1,572-1,234
UU-Fin to Type-With-Cardinality-ℕ#1316
