Theorem AkraBazziRecurrence.bi_min_div_two_pos

Modification history