P

Initializing...

Eq. (62): coordinate-wise upper bound on $F(x + t e_i) - F(x)$ · Prove2Me