Theorem Finset.powersetLen_mono

Modification history