Theorem AkraBazziRecurrence.eventually_r_le_b

Modification history