Mathlib v3 is deprecated. Go to Mathlib v4

Theorem finset.filter_ssubset

Modification history

2020-05-13 03:44
src/data/finset.lean
feat(topology/separation): add `subtype.t1_space` and `subtype.regular` (#2667) …
Added finset.filter_ssubsetView on Github →