Def Int.natAbsHom

Modification history

2025-06-23 14:05

Mathlib/Data/Int/AbsoluteValue.lean

feat: IMO 1985 Q2 (#25783)

Modified Int.natAbsHom View on Github →

2023-01-01 23:53

Mathlib/Data/Int/AbsoluteValue.lean

feat: port Data.Int.AbsoluteValue (#1289) …

Added Int.natAbsHom View on Github →