Skip to content
Maintainer merge

feat(MeasureTheory/VectorMeasure): add integral of a vector-valued function against a vector measure #252305

Sign in to view logs

feat(MeasureTheory/VectorMeasure): add integral of a vector-valued function against a vector measure

feat(MeasureTheory/VectorMeasure): add integral of a vector-valued function against a vector measure #252305

Triggered via pull request April 14, 2026 17:18
@yoh-tanimotoyoh-tanimoto
submitted #28499
Status Skipped
Total duration 1s
Artifacts –

maintainer_merge.yml

on: pull_request_review
Ping maintainers on Zulip
0s
Ping maintainers on Zulip
Fit to window
Zoom out
Zoom in
⚡