Skip to content

feat: Hölder framework for lp spaces#35197

Open
j-loreaux wants to merge 12 commits into
leanprover-community:masterfrom
j-loreaux:lpHolder
Open

feat: Hölder framework for lp spaces#35197
j-loreaux wants to merge 12 commits into
leanprover-community:masterfrom
j-loreaux:lpHolder

Commits

Commits on Feb 11, 2026

Commits on Feb 12, 2026

Commits on Apr 1, 2026

Commits on Apr 2, 2026

Commits on Apr 21, 2026

Commits on Apr 23, 2026