Theorem Subgroup.IsComplement'_top_right

Modification history