Theorem Affine.Simplex.mem_affineSpan_range_face_points_iff

Modification history