Theorem Fintype.card_empty

Modification history