Theorem Finset.powerset_infs_powerset_self

Modification history