mathlib

daf30fd7 - feat(analysis/asymptotics): Generalize superpolynomial decay using limits instead of big O (#10296)

feat(analysis/asymptotics): Generalize superpolynomial decay using limits instead of big O (#10296) This PR generalizes the definition of `superpolynomial_decay` in terms of `filter.tendsto` instead of `asymptotics.is_O`.