Theorem Finset.card_val

Modification history