Commit 2026-03-25 13:07 76af11c6
View on Github →feat(Analysis/Convex/Cone): min and max tensor products are equal when one factor is simplicial and generating (#34848) Prove that min and max tensor products are equal when one factor is simplicial and generating. Add theorems: minTensorProduct_eq_max_of_simplicial_generating_left minTensorProduct_eq_max_of_simplicial_generating_right