Theorem Subgroup.card_bot

Modification history