Theorem AkraBazziRecurrence.rpow_p_mul_one_add_smoothingFn_ge

Modification history