mathlib
b9bdc678 - feat(): prove some `.iterate` theorems (#2647)

Commit

6 years ago

feat(*): prove some `*.iterate` theorems (#2647)

References

#2700 - Fix merge conflict

Author

urkud

urkud

Parents

Loading