Theorem Finset.powerset_nonempty

Modification history