Theorem Affine.Triangle.eq_orthocenter_of_forall_mem_altitude

Modification history