Theorem Finset.subset_powersetCard_univ_iff

Modification history