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