Theorem Finset.powersetLen_eq_filter

Modification history