WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Boundary value problem

Revision #1048 → #2523 · back to history

modifiedBoundary value vs initial value probleme1a0d258345b
FieldFrom #1048To #2523
mathlib.declODE.IsPicardLindelofIsPicardLindelof
provenanceaiai-moderated