Commit 2026-01-06 22:13 7724e29c
View on Github →feat(Schwarz): add a version for maps with derivative zero (#33563)
If f z - f c = O((z - c) ^ n) near c, then we can improve the estimate in the Schwarz lemma.
Addition of this version makes it easier to prove the existing versions in a different order.