Theorem exists_mem_doublyStochastic_eq_smul_iff

Modification history

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