# Commit 2020-12-30 20:43 99881936

View on Github →feat(measure_theory): various additions (#5389)
Some computations of measures on non-measurable sets
Some more measurability lemmas for pi-types
Cleanup in `measure_space`

Mathlib v3 is deprecated. Go to Mathlib v4

feat(measure_theory): various additions (#5389)
Some computations of measures on non-measurable sets
Some more measurability lemmas for pi-types
Cleanup in `measure_space`