Skip to content

generalise nat_mod_one_l to nat_mod_lt#2139

Merged
Alizter merged 1 commit intoHoTT:masterfrom Alizter:ps/rr/generalise_nat_mod_one_l_to_nat_mod_ltNov 16, 2024

Commits

Commits on Nov 14, 2024