Theorem DifferentiableAt.comp_semilinear₂

Modification history

2025-05-27 22:21
Mathlib/Analysis/Calculus/FDeriv/Basic.lean
feat(Analysis/Calculus): derivative and complex conjugation (#25028) …
Added DifferentiableAt.comp_semilinear₂View on Github →