Theorem AffineMap.hasDerivWithinAt_lineMap

Modification history

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