Theorem Finset.mem_powerset_self

Modification history