Theorem Affine.Simplex.mem_circumsphere

Modification history