[Merged by Bors] - feat: generalize MeasureTheory.Measure.Regular.sigmaFinite
#3328
lint_and_suggest_pr.yml
on: pull_request
Lint style
1m 6s
Check all files imported
15s