Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-02-17 17:00 5f066928

View on Github →

feat(data/set/intervals): add Ici_subset_Ici, Iic_subset_Iic (#2003)

Estimated changes

Modified src/data/set/intervals/basic.lean

added theorem set.Ici_subset_Ici

added theorem set.Iic_subset_Iic