Theorem Filter.EventuallyEq.pow_const

Modification history

2024-07-09 09:09
Mathlib/Order/Filter/Basic.lean
chore: add missing spaces around = or := (#14554) …
Modified Filter.EventuallyEq.pow_constView on Github →
2024-01-16 07:51
Mathlib/Order/Filter/Basic.lean
feat(MeasureTheory/Function/StronglyMeasurable): pow lemmas (#9489) …
Added Filter.EventuallyEq.pow_constView on Github →