Theorem MeasureTheory.GridLines.T_empty

Modification history

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