Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-01-06 17:08
89425a18
View on Github →
feat: Cancelling iterates (
#1046
) Match
https://github.com/leanprover-community/mathlib/pull/17956
Estimated changes
Modified
Mathlib/Logic/Function/Iterate.lean
added
theorem
Function.iterate_add_eq_iterate
added
theorem
Function.iterate_cancel