Skip to content

quotient is trivial iff subgroup is maximal#2197

Merged
Alizter merged 1 commit intoHoTT:masterfrom Alizter:ps/rr/quotient_is_trivial_iff_subgroup_is_maximalJan 15, 2025

Commits

Commits on Jan 15, 2025