Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.mod_one

Modification history

2020-03-03 11:51

src/data/int/basic.lean

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

Modified int.mod_one View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.mod_one View on Github →