P

Initializing...

Gradient bound for the comparison difference, with constants independent of $\delta$ · Prove2Me