Theorem AkraBazziRecurrence.growsPolynomially_const

Modification history