Theorem Affine.Simplex.mongePoint_eq_smul_vsub_vadd_circumcenter

Modification history