Theorem EuclideanGeometry.affineSpan_of_orthocentricSystem

Modification history