Theorem Affine.Simplex.coe_orthogonalProjection_vadd_smul_vsub_orthogonalProjection

Modification history