Sobolev inequality (source code)

= Sobolev inequality
{wiki=Sobolev_inequality}