Mathlib Changelog
v3
Changelog
About
Github
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
Modified
src/data/set/intervals/basic.lean
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