Theorem IsBoundedBilinearMap.differentiableAt

Modification history

2023-05-25 08:25

Mathlib/Analysis/Calculus/FDeriv/Bilinear.lean

feat: port Analysis.Calculus.Fderiv.Bilinear (#4221) …

Added IsBoundedBilinearMap.differentiableAt View on Github →