Mathlib Changelog
v4
Changelog
About
Github
Def
AbsoluteValue.trivial
Modification history
2025-03-04 13:13
Mathlib/Algebra/Order/AbsoluteValue/Basic.lean
chore: generalize some absolute value results (#22432) …
Added
AbsoluteValue.trivial
View on Github →