Theorem Submonoid.eq_bot_iff_card

Modification history