Def doublyStochastic

Modification history

2025-04-09 10:22

Mathlib/Data/Matrix/DoublyStochastic.lean

chore: use mixin ordered algebraic typeclasses (part 2) (#20595)

Modified doublyStochastic View on Github →

2024-10-08 02:27

Mathlib/Data/Matrix/DoublyStochastic.lean

feat(Analysis/Convex): Birkhoff's theorem and doubly stochastic matrices (#16278)

Added doublyStochastic View on Github →