P

Initializing...

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