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