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