Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.subset_coe_filter_of_subset_forall

Modification history

2022-04-01 22:20
src/data/finset/basic.lean
feat(topology/support): add lemma `locally_finite.exists_finset_nhd_mul_support_subset` (#13006) …
Added finset.subset_coe_filter_of_subset_forallView on Github →