Theorem Subgroup.IsComplement_singleton_right

Modification history