Commit 192fc77

committed

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.

1 parent a304f47 commit 192fc77Copy full SHA for 192fc77

1 file changed

+198

-302

lines changed

+198

-302

lines changed

Comments

(0)