Theorem Finset.powersetCard_eq_filter

Modification history