Infinite Hall marriage by finite reduction: finite fibers and the finite-subset Hall condition give an injective choice function

Initializing...

Infinite Hall marriage by finite reduction: finite fibers and the finite-subset Hall condition give an injective choice function · Prove2Me