2.11 Stable Matching

Hall's Theorem