Theorem PointedCone.maxTensorProduct_map_le

Modification history

2026-02-18 08:30
Mathlib/Geometry/Convex/Cone/TensorProduct.lean
feat(Geometry/Convex/Cone): monotonicity and map lemmas for min/max cone tensor products (#34383) …
Added PointedCone.maxTensorProduct_map_leView on Github →