feat: linear map from L^p (mu) to L^p (nu) when nu is bounded by a multiple of mu (#40811)
L^p (mu)
L^p (nu)
nu
mu