Theorem AkraBazziRecurrence.isEquivalent_one_add_smoothingFn_one

Modification history