Theorem AkraBazziRecurrence.growsPolynomially_pow

Modification history