Def IsAbsoluteValue.Mathlib.Meta.Positivity.evalAbv

Modification history

2023-05-25 08:46
Mathlib/Algebra/Order/AbsoluteValue.lean
feat: assorted positivity extensions (#3907) …
Added IsAbsoluteValue.Mathlib.Meta.Positivity.evalAbvView on Github →