Theorem Filter.eventually_inf

Modification history