Theorem DifferentiableAt.conformalAt

Modification history

2023-06-04 13:34

Mathlib/Analysis/Complex/RealDeriv.lean

feat: port Analysis.Complex.RealDeriv (#4642)

Added DifferentiableAt.conformalAt View on Github →