Skip to content
Run pre-commit and in-place update PR on push

feat(MeasureTheory): add MemLp.Const class and instances to unify p = ∞ and μ.IsFiniteMeasure cases #7061

Sign in to view logs

feat(MeasureTheory): add MemLp.Const class and instances to unify p = ∞ and μ.IsFiniteMeasure cases

feat(MeasureTheory): add MemLp.Const class and instances to unify p = ∞ and μ.IsFiniteMeasure cases #7061

Triggered via pull request October 20, 2025 21:27
@JonBannonJonBannon
synchronize #30030
JonBannon:MemLp_Const
Status Success
Total duration 32s
Artifacts –

pre-commit.yml

on: pull_request
main
27s
main
Fit to window
Zoom out
Zoom in