Theorem Fintype.card_bool

Modification history