Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.bodd_coe

Modification history

2022-11-05 21:51
src/data/int/basic.lean
chore(data/int/basic): split file (#17342) …
Modified int.bodd_coeView on Github →
2020-04-16 08:33
src/data/int/basic.lean
refactor(tactic/norm_cast): simplified attributes and numeral support (#2407) …
Modified int.bodd_coeView on Github →
2020-02-20 21:25
src/data/int/basic.lean
fix(data/bool): remove simp attribute from commutativity lemmas (#2027)
Added int.bodd_coeView on Github →