Theorem Filter.eventuallyConst_preimage

Modification history

2024-07-20 18:20
Mathlib/Order/Filter/EventuallyConst.lean
feat(MeasureTheory/Group): add lemmas about `Filter.EventuallyConst` (#14595) …
Added Filter.eventuallyConst_preimageView on Github →