Mathlib v3 is deprecated. Go to Mathlib v4

Theorem measurable_space.generate_from_le_generate_from

Modification history

2021-10-28 06:57

src/measure_theory/measurable_space.lean

feat(measure_theory/construction/borel_space): two measures are equal if they agree on closed-open intervals (#9396)

Deleted measurable_space.generate_from_le_generate_from View on Github →

2017-09-28 18:08

topology/measurable_space.lean

feat(topology): add Lebesgue measure

Added measurable_space.generate_from_le_generate_from View on Github →