Theorem AkraBazziRecurrence.isEquivalent_one_sub_smoothingFn_one

Modification history