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

Workflow file for this run

.github/workflows/pre-commit.yml at 480ad1d

File not found

The workflow file could not be found.