Theorem Affine.Simplex.circumcenter_mem_affineSpan

Modification history