Theorem Finset.powersetLen_nonempty

Modification history