Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-07-23 18:39 a4b157b9

View on Github →

chore(data/nat): remove addl

Estimated changes

deleted theorem nat.add_eq_addl
deleted def nat.addl
deleted theorem nat.addl_succ_left
deleted theorem nat.addl_succ_right
deleted theorem nat.addl_zero_left
deleted theorem nat.addl_zero_right
deleted theorem nat.zero_has_zero