P
Initializing...
Theorem 12.7 -- the rank of a mixed matrix, as a max-formula · Prove2Me