Theorem Finset.mem_powersetLen

Modification history