Hall's marriage theorem (quantitative version) Tag

2022