PR !4#8362: feat(Asymptotics): define `ReflectsGrowth`

Stream: triage

[Random Issue Bot]

Today I chose PR 8362 for discussion!

feat(Asymptotics): define ReflectsGrowth
Created by @Yury G. Kudryashov (@urkud) on 2023-11-12
Labels: RFC, t-analysis

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yury G. Kudryashov]

I plan to come back to this PR but I have little time for Mathlib these days.