Maintainer merge

feat(MeasureTheory/BorelSpace): add `measurable_iSup_of_lowerSemicontinuous` #244897

Sign in to view logs

Triggered via issue April 3, 2026 14:04

grunweg

commented on #37552 caa79c2

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: issue_comment

Ping maintainers on Zulip