mathlib
951b967d - refactor(data/nat/basic): use function equality for `iterate` lemmas (#2748)

Commit

5 years ago

refactor(data/nat/basic): use function equality for `iterate` lemmas (#2748)

Author

urkud

urkud

Parents

Loading