Theorem Affine.Simplex.mem_affineSpan_range_faceOpposite_points_iff

Modification history