Theorem LinearGrowth.linearGrowthSup_monotone

Modification history

2026-08-17 10:30
Mathlib/Analysis/Asymptotics/LinearGrowth.lean
refactor(Analysis/Asymptotics): use `Monotone` predicate in `LinearGrowth` lemmas (#42700) …
Modified LinearGrowth.linearGrowthSup_monotoneView on Github →
2025-05-20 14:06
Mathlib/Analysis/Asymptotics/LinearGrowth.lean
feat(Analysis/Asymptotics): add LinearGrowth (#24442) …
Added LinearGrowth.linearGrowthSup_monotoneView on Github →