Theorem Filter.eventuallyConst_atTop_nat

Modification history

2023-06-19 16:31
Mathlib/Order/Filter/EventuallyConst.lean
feat: functions eventually constant along filters (#5248) …
Added Filter.eventuallyConst_atTop_natView on Github →