Theorem Subgroup.IsComplement_top_singleton

Modification history