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