Theorem Finset.card_snocEquiv_filter_piFinset

Modification history