Theorem AffineMap.hasDerivAtFilter

Modification history

2023-06-01 13:13

Mathlib/Analysis/Calculus/Deriv/AffineMap.lean

feat: lemmas about derivatives of affine maps (#4508)

Added AffineMap.hasDerivAtFilter View on Github →