Commit 2020-06-30 05:20 d788d4b5
View on Github →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.
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.