Theorem Finset.univ_subset_iff

Modification history