P
Initializing...
Every finite-order half-space Sobolev function admits a whole-space extension · Prove2Me