intervals): split `I??_union_I??_eq_I??` (#3237)

Commit

5 years ago

chore(data/set/intervals): split `I??_union_I??_eq_I??` (#3237) For each lemma `I??_union_I??_eq_I??` add a lemma `I??_subset_I??_union_I??` with no assumptions.

Author

urkud

Parents

af53c9d7

mathlib d788d4b5 - chore(data/set/intervals): split `I??_union_I??_eq_I??` (#3237)

mathlib
d788d4b5 - chore(data/set/intervals): split `I??_union_I??_eq_I??` (#3237)