Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.mod_eq_mod_of_add_mod_eq_add_mod_left

Modification history

2017-12-01 08:02

data/int/basic.lean

feat(theories/number_theory/dioph): Pell equation, diophantine equations

Deleted int.mod_eq_mod_of_add_mod_eq_add_mod_left View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.mod_eq_mod_of_add_mod_eq_add_mod_left View on Github →