Theorem Submonoid.eq_bot_of_card_eq

Modification history