Mathlib v3 is deprecated. Go to Mathlib v4

Def midpoint

Modification history

2020-10-29 19:28

src/algebra/midpoint.lean

refactor(*): `midpoint`, `point_reflection`, and Mazur-Ulam in affine spaces (#4752) …

Modified midpoint View on Github →

2020-05-05 04:42

src/algebra/midpoint.lean

feat(algebra/midpoint): define `midpoint`, prove basic properties (#2599) …

Added midpoint View on Github →