Theorem TendstoLocallyUniformlyOn.differentiableOn

Modification history

2023-06-09 14:11

Mathlib/Analysis/Complex/LocallyUniformLimit.lean

feat: port Analysis.Complex.LocallyUniformLimit (#4906)

Added TendstoLocallyUniformlyOn.differentiableOn View on Github →