Def IsAbsoluteValue.Mathlib.Meta.Positivity.evalAbv

Modification history

2025-11-19 06:07
Mathlib/Algebra/Order/AbsoluteValue/Basic.lean
chore: move Mathlib to the module system (#31786) …
Deleted IsAbsoluteValue.Mathlib.Meta.Positivity.evalAbvView on Github →
2023-05-25 08:46
Mathlib/Algebra/Order/AbsoluteValue.lean
feat: assorted positivity extensions (#3907) …
Added IsAbsoluteValue.Mathlib.Meta.Positivity.evalAbvView on Github →