∫ Утверждение Mathlib
subset_dual_dual
Mathlib.Geometry.Convex.Cone.Dual
URI: https://scilib.ai/kg/mathlib#PointedCone.subset_dual_dual
∫ Утверждение Mathlib
Mathlib.Geometry.Convex.Cone.Dual
URI: https://scilib.ai/kg/mathlib#PointedCone.subset_dual_dual