Theorem HasDerivAt.ofReal_comp

Modification history

2023-06-10 02:10
Mathlib/Analysis/Complex/RealDeriv.lean
chore: use `ofReal` instead of `of_real` in lemma names (#4934)
Added HasDerivAt.ofReal_compView on Github →