Theorem AkraBazziRecurrence.bi_min_div_two_lt_one

Modification history