Theorem Finset.mem_powerset

Modification history