Theorem MeasureTheory.Measure.exists_hasLaw

Modification history

2026-04-09 07:32
Mathlib/Probability/HasLawExists.lean
chore: fix namespace in `Measure.exists_hasLaw` (#37825)
Added MeasureTheory.Measure.exists_hasLawView on Github →