Theorem doublyStochastic_eq_convexHull_permMatrix

Modification history

2024-10-08 02:27
Mathlib/Analysis/Convex/Birkhoff.lean
feat(Analysis/Convex): Birkhoff's theorem and doubly stochastic matrices (#16278)
Added doublyStochastic_eq_convexHull_permMatrixView on Github →