Theorem EuclideanGeometry.OrthocentricSystem.eq_insert_orthocenter

Modification history