Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.inter_subset_inter

Modification history

2019-08-22 15:27
src/data/finset.lean
feat(*): small lemmas from the sensitivity formalization (#1352) …
Added finset.inter_subset_interView on Github →