Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Ici_subset_Ici

Modification history

2020-02-17 17:00
src/data/set/intervals/basic.lean
feat(data/set/intervals): add `Ici_subset_Ici`, `Iic_subset_Iic` (#2003)
Added set.Ici_subset_IciView on Github →