Theorem Finset.card_filter

Modification history