Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-12 19:28 ce26133b

View on Github →

feat(data/nat/(basic, modeq)): simple lemmas (#8647)

Estimated changes

Modified src/data/nat/basic.lean

added theorem nat.add_sub_sub_cancel

Modified src/data/nat/modeq.lean

added theorem nat.add_modeq_left

added theorem nat.add_modeq_right

added theorem nat.modeq_zero_iff