Commit 2022-12-06 20:53 41abcdc0
View on Github →feat(analysis/convex/between): betweenness in a ring (#17755) Add some basic lemmas about betweenness in a ring as an affine space over itself.
feat(analysis/convex/between): betweenness in a ring (#17755) Add some basic lemmas about betweenness in a ring as an affine space over itself.