Theorem Affine.Triangle.orthocenter_mem_altitude

Modification history