Theorem AffineMap.hasDerivAt_lineMap

Modification history

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