P
Initializing...
Proposition 2.1: common rank-block representation and midpoint summands · Prove2Me