P
Initializing...
Eq. (45): descent inequality for $h + q$ under (44) · Prove2Me