Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-07-26 17:38 a6d3d65f

View on Github →

chore(data/set/intervals): more simp lemmas (#3564)

Estimated changes

added theorem set.Ici_diff_Ici
added theorem set.Ici_diff_Ioi
added theorem set.Iic_diff_Iic
added theorem set.Iic_diff_Iio
added theorem set.Iio_diff_Iic
added theorem set.Iio_diff_Iio
added theorem set.Ioi_diff_Ici
added theorem set.Ioi_diff_Ioi
modified theorem set.compl_Ici
modified theorem set.compl_Iic
modified theorem set.compl_Iio
modified theorem set.compl_Ioi