Theorem AkraBazziRecurrence.GrowsPolynomially.eventually_atTop_zero_or_pos_or_neg

Modification history