Theorem Finset.powerset_sups_powerset_self

Modification history