Theorem AkraBazziRecurrence.T_nonneg

Modification history