Theorem Submonoid.card_bot

Modification history