Rellich–Kondrachov theorem

GPTKB entity