Theorem Subgroup.isComplement'_bot_right

Modification history