Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-06-26 09:25 4630067c

View on Github →

chore(data/set/intervals): syntax clean up (#8087)

Estimated changes

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

modified theorem set.Iio_subset_Iic_self

modified theorem set.Ioi_subset_Ici_self