Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.default_eq_zero

Modification history

2022-01-09 18:06

src/data/int/basic.lean

chore(*): update to 3.37.0c (#11325) …

Modified int.default_eq_zero View on Github →

2019-04-17 11:03

src/data/int/basic.lean

feat(tactic/omega): tactic for linear integer & natural number arithmetic (#827) …

Added int.default_eq_zero View on Github →