Def Int.natMod

Modification history

2024-07-16 11:03

Mathlib/Data/Int/Align.lean

chore(Data/Int/Defs): clear out Init/Data/Int/Basic (#14759)

Modified Int.natMod View on Github →

2023-03-19 19:01

Mathlib/Init/Data/Int/Basic.lean

feat: forward-port leanprover-community/mathlib#18359 (#2106) …

Modified Int.natMod View on Github →

2023-01-06 07:14

Mathlib/Init/Data/Int/Basic.lean

feat: `a.nat_mod b < b` (#1340) …

Added Int.natMod View on Github →