Theorem Finset.powerset_univ

Modification history