Theorem Fintype.card_pi

Modification history