Documentation

Mathlib.MeasureTheory.Integral.LebesgueNormedSpace

A lemma about measurability with density under scalar multiplication in normed spaces #