Mathlib v3 is deprecated. Go to Mathlib v4

Def int.modeq

Modification history

2018-04-08 01:00
data/int/modeq.lean
feat(data/int/modeq): Modular arithmetic for integers
Added int.modeqView on Github →