Theorem Finset.card_eq_two

Modification history