Mathlib v3 is deprecated. Go to Mathlib v4

Def euclidean_geometry.orthocentric_system

Modification history

2020-10-06 12:41

src/geometry/euclidean/monge_point.lean

feat(geometry/euclidean/monge_point): orthocentric systems (#4448) …

Added euclidean_geometry.orthocentric_system View on Github →