Theorem Fintype.card_pempty

Modification history