Theorem AkraBazziRecurrence.GrowsPolynomially.congr_of_eventuallyEq

Modification history