Commit 2026-10-04 15:55 a2193047

View on Github →

doc(MeasureTheory): wikidata tags for some basics (#43668)

Estimated changes

Modified Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean

Modified Mathlib/MeasureTheory/MeasurableSpace/Defs.lean

modified structure MeasurableSpace

Modified Mathlib/MeasureTheory/Measure/Dirac/Def.lean