# Hall's Marriage Theorem

 Title: Hall's Marriage Theorem Authors: Dongchen Jiang (dongchenjiang /at/ googlemail /dot/ com) and Tobias Nipkow Submission date: 2010-12-17 Abstract: Two proofs of Hall's Marriage Theorem: one due to Halmos and Vaughan, one due to Rado. Change history: [2011-09-09]: Added Rado's proof BibTeX: @article{Marriage-AFP, author = {Dongchen Jiang and Tobias Nipkow}, title = {Hall's Marriage Theorem}, journal = {Archive of Formal Proofs}, month = dec, year = 2010, note = {\url{https://isa-afp.org/entries/Marriage.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License Used by: Latin_Square Status: [ok] This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.