Theorem Subgroup.isComplement'_top_right

Modification history