Theorem Affine.Simplex.range_faceOpposite_points

Modification history