Theorem Filter.Germ.const_abs

Modification history

2023-07-02 14:32
Mathlib/Order/Filter/FilterProduct.lean
fix: precedence of `⁺`, `⁻` and `abs` (#5619)
Modified Filter.Germ.const_absView on Github →
2023-02-19 16:35
Mathlib/Order/Filter/FilterProduct.lean
feat: Port/Order.Filter.FilterProduct (#2366) …
Added Filter.Germ.const_absView on Github →