Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-04-26 06:46
21b72922
View on Github →
feat(data/nat/basic): add
iterate_one
and
iterate_mul
(
#2540
)
Estimated changes
Modified
src/data/nat/basic.lean
modified
theorem
nat.iterate_cancel
added
theorem
nat.iterate_mul
added
theorem
nat.iterate_one
modified
theorem
nat.iterate₂