Commit 2022-03-24 05:18 a370cf05
View on Github →chore(data/set/intervals): golf, rename (#12893)
- rename
set.mem_Ioo_or_eq_endpoints_of_mem_Icc
→set.eq_endpoints_or_mem_Ioo_of_mem_Icc
; - rename
set.mem_Ioo_or_eq_left_of_mem_Ico
→set.eq_left_or_mem_Ioo_of_mem_Ico
; - rename
set.mem_Ioo_or_eq_right_of_mem_Ioc
→set.eq_right_or_mem_Ioo_of_mem_Ioc
; - golf the proofs of these lemmas.
The new names better reflect the order of terms in
or
.