Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.of_nat_div

Modification history

2018-06-12 22:37

data/int/basic.lean

feat(data/num/basic): add div,mod,gcd for num,znum

Modified int.of_nat_div View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.of_nat_div View on Github →