Theorem Fintype.card_ofIsEmpty

Modification history