Skip to content

add Finset.univ_subset_iff #74864

add Finset.univ_subset_iff

add Finset.univ_subset_iff #74864