Real derivatives at a point and finite difference quotients
A derivative is the two-sided limit of nonzero-step quotients, not any one finite-step quotient; an absolute-value corner retains nonexistence.
atlas-derivative · canonical_mko
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data
A derivative is the two-sided limit of nonzero-step quotients, not any one finite-step quotient; an absolute-value corner retains nonexistence.
atlas-derivative · canonical_mko