Commit 2025-07-26 14:42 51179177
View on Github →feat: measure_inter_eq_of_ae (#27247)
For a measure μ and two sets s, t, if ∀ᵐ a ∂μ, a ∈ t then μ (t ∩ s) = μ s.
From the Brownian motion project.
feat: measure_inter_eq_of_ae (#27247)
For a measure μ and two sets s, t, if ∀ᵐ a ∂μ, a ∈ t then μ (t ∩ s) = μ s.
From the Brownian motion project.