Theorem AffineMap.hasDerivWithinAt

Modification history

2023-06-01 13:13
Mathlib/Analysis/Calculus/Deriv/AffineMap.lean
feat: lemmas about derivatives of affine maps (#4508)
Added AffineMap.hasDerivWithinAtView on Github →