Theorem Subgroup.IsComplement_singleton_top

Modification history