PR !4#30030: feat(MeasureTheory): add `MemLp.Const` class...

Stream: triage

[Random Issue Bot]

Today I chose PR #30030 for discussion!

feat(MeasureTheory): add MemLp.Const class and instances to unify p = ∞ and μ.IsFiniteMeasure cases
Created by @Jon Bannon (@JonBannon) on 2025-09-27
Labels: awaiting-author, merge-conflict, t-measure-probability

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