Theorem Affine.Triangle.orthocenter_eq_smul_vsub_vadd_circumcenter

Modification history