Theorem Finsupp.card_support_le_one

Modification history