Nash's smooth isometric embedding theorem

Source: url:https://github.com/langlerangle/nashembedding Authors: David Wiygul Status: verified Main declarations: NashEmbeddingTheorem.nash_isometric_embedding Tags: differential-geometry, isometric-embedding, sobolev-spaces MSC: 53C24