Theorem Finset.powerset_eq_univ

Modification history