Theorem Subgroup.IsComplement'_bot_right

Modification history