Sobolev embedding theorem

GPTKB entity