Skip to content
Add "ready-to-merge" and "delegated" label

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

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 #231991

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

maintainer_bors.yml

on: pull_request_review
Add ready-to-merge or delegated label
0s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in
⚡