Theorem Subgroup.isComplement_top_left

Modification history