Theorem HasDerivAt.comp_ringHom

Modification history

2025-12-17 21:56
Mathlib/Analysis/Calculus/Deriv/Basic.lean
chore(Analysis): fix whitespace (#32909) …
Modified HasDerivAt.comp_ringHomView on Github →
2025-05-27 22:21
Mathlib/Analysis/Calculus/Deriv/Basic.lean
feat(Analysis/Calculus): derivative and complex conjugation (#25028) …
Added HasDerivAt.comp_ringHomView on Github →