Two proofs of Hall's Marriage Theorem: one due to Halmos and Vaughan, one due to Rado.
- September 9, 2011
- Added Rado's proof
- Jiang, D., & Nipkow, T. (2011). Proof Pearl: The Marriage Theorem. Lecture Notes in Computer Science, 394–399. https://doi.org/10.1007/978-3-642-25379-9_28
- author's copy