Theorem Finset.powerset_len_sup

Modification history