P
Initializing...
Chapter 7, Equation (5): determinant bound · Prove2Me