Theorem AkraBazziRecurrence.GrowsPolynomially.eventually_atTop_ge

Modification history