P

Initializing...

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