Theorem Finset.card_consEquiv_filter_piFinset

Modification history