Skip to content

Update Mathlib/Analysis/Complex/UnitDisc/Schwarz.lean

0cc44dd
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat: add a version of the Schwarz lemma #33381

Update Mathlib/Analysis/Complex/UnitDisc/Schwarz.lean
0cc44dd
Select commit
Loading
Failed to load commit list.
post-or-update-summary-comment
succeeded Dec 30, 2025 in 1m 8s