Mathlib Changelog
v4
Changelog
About
Github
Def
Int.natAbsHom
Modification history
2023-01-01 23:53
Mathlib/Data/Int/AbsoluteValue.lean
feat: port Data.Int.AbsoluteValue (#1289) …
Added
Int.natAbsHom
View on Github →