P
Initializing...
Weighted derivative bounds for a smooth cutoff with constant tails · Prove2Me