Theorem Submonoid.card_le_one_iff_eq_bot

Modification history