Theorem HasFDerivAt.comp_semilinear

Modification history

2025-05-27 22:21

Mathlib/Analysis/Calculus/FDeriv/Basic.lean

feat(Analysis/Calculus): derivative and complex conjugation (#25028) …

Added HasFDerivAt.comp_semilinear View on Github →