# Commit 2024-02-09 14:17 117789e2

View on Github →feat: generalize `cocompact_eq`

(#10285)
example use case: `cocompact_le`

with `integrable_iff_integrableAtFilter_cocompact`

from #10248 becomes a way to prove integrability from big-O estimates (e.g. #10258)