P
Initializing...
Smooth-Test Constant Equals Lipschitz-Gradient Constant · Prove2Me