Commit 2026-08-05 23:02 4a8fe96b
View on Github →feat: multiplying by an almost-everywhere invertible scalar function preserves a.e. strong measurability (#42445) This PR was automatically created from PR #40582 by @dennj via a review comment by @EtienneC30.