[Merged by Bors] - feat: prove the Gagliardo-Nirenberg-Sobolev inequality#14165
Closed
fpvandoorn wants to merge 34 commits intomasterfrom sobolevinequality
Commits
Commits on Jun 10, 2024
- committed
Commits on Jun 25, 2024
Commits on Jun 26, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 27, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Jun 28, 2024
- committed
- committed
- committed
- committed
- committed
- committed