P
Initializing...
Theorem 12.9 -- the König-Egerváry theorem for mixed matrices (goal) · Prove2Me