∫ Утверждение Mathlib
openSegment_eq_image_lineMap
Mathlib.Analysis.Convex.Segment
URI: https://scilib.ai/kg/mathlib#openSegment_eq_image_lineMap
∫ Утверждение Mathlib
Mathlib.Analysis.Convex.Segment
URI: https://scilib.ai/kg/mathlib#openSegment_eq_image_lineMap