Theorem Subgroup.isComplement_singleton_top

Modification history