Theorem Subgroup.isComplement'_top_left

Modification history