See the Wikipedia page for the Birkhoff polytope. It says that equivalent results were obtained by Steinitz in 1984 and by Kőnig in 1916.
Greg Kuperberg
- 56.6k
- 10
- 203
- 282