Theorem Finset.powerset_eq_singleton_empty

Modification history