Theorem Complex.affine_of_mapsTo_ball_of_exists_norm_dslope_eq_div'

Modification history

2023-06-09 16:21

Mathlib/Analysis/Complex/Schwarz.lean

feat: port Analysis.Complex.Schwarz (#4910)

Added Complex.affine_of_mapsTo_ball_of_exists_norm_dslope_eq_div'View on Github →