Theorem Finsupp.card_pi

Modification history