Theorem PointedCone.smul_mem_iff

Modification history

2026-07-01 01:31
Mathlib/Geometry/Convex/Cone/Pointed.lean
refactor(Analysis/Convex/Cone): use `PointedCone` in Riesz extension theorem (#37053) …
Added PointedCone.smul_mem_iffView on Github →