Theorem AkraBazziRecurrence.isLittleO_deriv_smoothingFn
Modification history
2025-08-24 10:30
Mathlib/Computability/AkraBazzi/SumTransform.lean
style(AkraBazzi): use more standard indentation (#27875) …
Modified AkraBazziRecurrence.isLittleO_deriv_smoothingFnView on Github →