Theorem Subgroup.IsComplement.card_left

Modification history