Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-31 18:58 5ca3c5e9

View on Github →

chore(data/set/intervals): add some lemmas (#10062) Add several lemma lemmas about intersection/difference of intervals.

Estimated changes

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

added theorem set.Ico_inter_Ici

modified theorem set.Iic_inter_Ioc_of_le

added theorem set.Ioc_diff_Iic

added theorem set.Ioc_inter_Iic