mathlib
580e52cb - feat(analysis/convex/between): betweenness and `same_ray` (#16767)

Commit
3 years ago
feat(analysis/convex/between): betweenness and `same_ray` (#16767) Add some lemmas about the relation between `wbtw` and `same_ray`.
Author
Parents
Loading