P
Initializing...
Normalized bump convolution preserves weak Sobolev membership · Prove2Me