between): betweenness in a ring (#17755)

Commit

3 years ago

feat(analysis/convex/between): betweenness in a ring (#17755) Add some basic lemmas about betweenness in a ring as an affine space over itself.

Author

jsm28

Parents