Theorem AkraBazziRecurrence.isLittleO_deriv_one_sub_smoothingFn

Modification history