Concept

Rellich–Kondrachov theorem