WikiLean
Recent changes
·
Proposals
·
Flags
·
Stats
·
About
🌓
Diff —
Quadratic function
Revision #2089 → #2636 ·
back to history
modified
Iteration of a function
d14096e91e51
Field
From #2089
To #2636
mathlib.decl
Function.iterate
Nat.iterate
provenance
ai
ai-moderated