P
Initializing...
II A: matrix coefficients and block decomposition, (3)–(4) · Prove2Me