Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-07 21:43 a30c39e0

View on Github →

feat(measure_theory/borel_space): a compact set has finite measure (#5628)

Estimated changes