Theorem AkraBazziRecurrence.bi_min_div_two_pos
Modification history
2025-09-19 12:48
Mathlib/Computability/AkraBazzi/SumTransform.lean
chore: replace `norm_num` with `simp` where applicable (#28035) …
Modified AkraBazziRecurrence.bi_min_div_two_posView on Github →