mathlib

5faf34cc - feat(measure_theory/lp_space): add more lemmas about snorm (#5644)