Theorem Finset.mem_powersetLen_univ

Modification history