Theorem Subgroup.IsComplement_singleton_left

Modification history