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