Satz 21.3
Kurs:Diskrete Mathematik (Osnabrück 2020)/Vorlesung 21 Ungerichteter Graph/Optimale Paarung/Alternierender Weg/Fakt