Def MeasureTheory.GridLines.T

Modification history

2024-06-28 22:16
Mathlib/MeasureTheory/Integral/SobolevInequality.lean
feat: prove the Gagliardo-Nirenberg-Sobolev inequality (#14165) …
Added MeasureTheory.GridLines.TView on Github →