Theorem Affine.Triangle.orthocenter_mem_affineSpan

Modification history