Theorem AkraBazziRecurrence.isLittleO_self_div_log_id
Modification history
2025-06-20 15:48
Mathlib/Computability/AkraBazzi/AkraBazzi.lean
chore: split long file AkraBazzi.lean (#26193) …
Modified AkraBazziRecurrence.isLittleO_self_div_log_idView on Github →