Nemytskii operators on Lebesgue spaces

Source: url:https://github.com/madvorak/nemytskii-lebesgue/tree/d276c27a1e3ebbd9eb09f25243b5e9808ca168d7 Authors: Petr Girg, Petr Nečesal, Martin Dvořák, Jakub Psutka Status: verified Main declarations: NemytskiiLebesgue.IsCaratheodory.memLp_nemytskii_volume_iff_growth Tags: nonlinear-analysis, nemytskii-operators, lebesgue-spaces, differentiation MSC: 47H30, 46E30, 47J05