Theorem Subgroup.isComplement_subgroup_right_iff_existsUnique_quotientGroupMk

Modification history