Theorem ConvexCone.to_orderedSMul
Modification history
2025-09-06 04:27
Mathlib/Geometry/Convex/Cone/Basic.lean
chore: deprecate `OrderedSMul` (#28817) …
Deleted ConvexCone.to_orderedSMulView on Github →2025-06-19 10:04
Mathlib/Geometry/Convex/Cone/Basic.lean
chore(Geometry/Convex/Cone): clean up (#25291) …
Modified ConvexCone.to_orderedSMulView on Github →