WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Newton's method

Revision #1425 → #2108 · back to history

modifiedTangent-line linear approximation1820464b3a14
FieldFrom #1425To #2108
mathlib.moduleMathlib.Analysis.Calculus.FDeriv.BasicMathlib.Analysis.Calculus.FDeriv.Defs
addedNewton iterate as root of linear approximation2cb322d97a42
addedNewton fractal839dd38e833a