Theorem Finset.mem_powersetCard

Modification history