PR !4#21375: WIP: generalise lemmas to ENorm

Stream: triage

[Random Issue Bot]

Today I chose PR #21375 for discussion!

WIP: generalise lemmas to ENorm
Created by @None (@grunweg) on 2025-02-03
Labels: WIP, merge-conflict, awaiting-CI, carleson

Is this PR still relevant? Any recent updates? Anyone making progress?

[Michael Rothgang]

Actively being worked on. The more polished pieces are being spun out to separate PRs.