Theorem Subgroup.isComplement'_bot_left

Modification history