P
Initializing...
Proposition 11 (power-width interchange with rows), array model · Prove2Me