A calculus of the absurd

24.3 Matchings in graphs

24.3.1 Hall’s theorem