Theorem Affine.Simplex.circumradius_pos

Modification history