P
Initializing...
Chapter 7, Equation (6): equality case · Prove2Me