Commit 2026-05-14 14:44 54e71fa9
View on Github →feat(IsolatedZeros): improve a lemma (#39342)
In eq_pow_order_mul_iterate_dslope, the equality holds for all z,
not only near z0.
feat(IsolatedZeros): improve a lemma (#39342)
In eq_pow_order_mul_iterate_dslope, the equality holds for all z,
not only near z0.