Theorem Affine.Simplex.circumsphere_reindex

Modification history