mathlib
a2eebac9 - chore(linear_algebra/affine_space/ordered): compare endpoints to midpoint

Commit

5 years ago

chore(linear_algebra/affine_space/ordered): compare endpoints to midpoint

Author

urkud

urkud

Parents

Loading