Commit 2020-10-14 18:39 084b7e7d
View on Github →chore(algebra/order,data/set/intervals): a few more trivial lemmas (#4611)
- a few more lemmas for
has_le.le
andhas_lt.lt
namespaces; - a few lemmas about intersections of intervals;
- fix section header in
topology/algebra/module
.