P
Initializing...
Proposition 6.1 — submodularity of the rank of submatrices · Prove2Me