Commit 2025-11-04 19:29 ceb11f31
View on Github →doc(AkraBazzi): minor tweaks and additions (#30499) Broken out of #29464 to simplify review. This PR:
- Makes the implementation note in GrowsPolynomially.lean more concise.
- Expands the "Main definitions and results" section in SumTransform.lean