Commit 2026-02-10 22:14 192fc779
View on Github →chore(AkraBazzi): golf the main proof (#33862)
This PR significantly shortens the main proof of the Akra-Bazzi theorem, removing an adaptation_note in the process.
chore(AkraBazzi): golf the main proof (#33862)
This PR significantly shortens the main proof of the Akra-Bazzi theorem, removing an adaptation_note in the process.