Rellich–Kondrachov compact embedding theorem

Source: url:https://github.com/abenenson/rellich-kondrachov Authors: Adam Benenson Status: verified Main declarations: RellichKondrachov.Geometry.Manifold.Sobolev.exists_riemannianFiniteChartData Tags: analysis, pde, sobolev-embedding MSC: 46E35

Rellich–Kondrachov Compact Embedding Theorem

This is the root import file for the Rellich–Kondrachov compact embedding theorem.