Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-03-26 18:26
3566cbba
View on Github →
feat(*): add more lemmas about
set.piecewise
(
#6862
)
Estimated changes
Modified
src/algebra/group/pi.lean
added
theorem
pi.piecewise_div
added
theorem
pi.piecewise_inv
added
theorem
set.piecewise_mul
Modified
src/data/indicator_function.lean
Modified
src/data/set/function.lean
added
theorem
set.apply_piecewise
added
theorem
set.apply_piecewise₂
deleted
theorem
set.comp_piecewise
added
theorem
set.le_piecewise
added
theorem
set.piecewise_le
added
theorem
set.piecewise_le_piecewise
added
theorem
set.piecewise_op
added
theorem
set.piecewise_op₂
Modified
src/data/set/intervals/pi.lean
added
theorem
set.piecewise_mem_Icc'
added
theorem
set.piecewise_mem_Icc