Mathlib v3 is deprecated. Go to Mathlib v4

Theorem complex.schwarz_aux

Modification history

2022-03-14 08:31

src/analysis/complex/schwarz.lean

feat(analysis/complex/schwarz): some versions of the Schwarz lemma (#12633)

Added complex.schwarz_aux View on Github →