Theorem Subgroup.isComplement_top_singleton

Modification history