Theorem Subgroup.isComplement_subgroup_left_iff_bijective

Modification history