Theorem Filter.EventuallyConst.apply

Modification history

2023-08-10 19:52
Mathlib/Order/Filter/EventuallyConst.lean
chore: banish `Type _` and `Sort _` (#6499) …
Modified Filter.EventuallyConst.applyView on Github →
2023-06-19 16:31
Mathlib/Order/Filter/EventuallyConst.lean
feat: functions eventually constant along filters (#5248) …
Added Filter.EventuallyConst.applyView on Github →