Theorem EuclideanGeometry.OrthocentricSystem.affineIndependent

Modification history