P
Initializing...
Theorem 12.8 -- three dual min-formulas for the rank · Prove2Me