Mathlib Changelog
v4
Changelog
About
Github
Theorem
measurable_of_isClosed'
Modification history
2023-11-08 15:51
Mathlib/MeasureTheory/Constructions/BorelSpace/Basic.lean
chore: tidy various files (#8175)
Added
measurable_of_isClosed'
View on Github →