P
Initializing...
Theorem 3 — submodularity of rank, (3.2) and (3.3) · Prove2Me