Theorem AffineMap.hasStrictDerivAt_lineMap

Modification history

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