Commit 2026-02-18 08:30 84e6cad6
View on Github →feat(Geometry/Convex/Cone): monotonicity and map lemmas for min/max cone tensor products (#34383) Add minTensorProduct_mono, maxTensorProduct_mono, minTensorProduct_map_le, maxTensorProduct_map_le.
feat(Geometry/Convex/Cone): monotonicity and map lemmas for min/max cone tensor products (#34383) Add minTensorProduct_mono, maxTensorProduct_mono, minTensorProduct_map_le, maxTensorProduct_map_le.