Sobolev-type embeddings for neural network approximation spaces

Re-assign community