Theorem Fintype.card_ne_zero

Modification history