Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-05-21 16:29
3676f839
View on Github →
feat: port MeasureTheory.Function.Floor (
#4166
)
Estimated changes
Modified
Mathlib.lean
Created
Mathlib/MeasureTheory/Function/Floor.lean
added
theorem
Int.measurable_ceil
added
theorem
Int.measurable_floor
added
theorem
Measurable.ceil
added
theorem
Measurable.floor
added
theorem
Measurable.fract
added
theorem
Measurable.nat_ceil
added
theorem
Measurable.nat_floor
added
theorem
MeasurableSet.image_fract
added
theorem
Nat.measurable_ceil
added
theorem
Nat.measurable_floor
added
theorem
measurable_fract