Theorem Finset.powersetLen_sup

Modification history