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