Theorem QuotientGroup.monoidHom_ext

Modification history