Theorem differentiableWithinAt_localInvariantProp

Modification history

2024-10-10 16:56

Mathlib/Geometry/Manifold/MFDeriv/Defs.lean

chore: rename leftovers from the port (#17619)

Added differentiableWithinAt_localInvariantProp View on Github →