Mathlib

Atlas/Compute/Akra–Bazzi

The master theorem

1/4

The classical master theorem is Akra–Bazzi when every child has the same size n/b.