Theorem Finsupp.card_support_eq_zero

Modification history