Theorem Affine.Simplex.orthogonalProjection_vadd_smul_vsub_orthogonalProjection

Modification history