Theorem EuclideanGeometry.OrthocentricSystem.exists_circumradius_eq

Modification history