Theorem Nat.card_submonoidPowers

Modification history