Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.zero_mod

Modification history

2021-05-03 17:06

src/data/int/basic.lean

chore(*): update to lean 3.30.0c (#7264) …

Modified int.zero_mod View on Github →

2020-03-03 11:51

src/data/int/basic.lean

feat(tactic/lint): check for redundant simp lemmas (#2066) …

Modified int.zero_mod View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.zero_mod View on Github →