Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-11-05 08:53 354d59e1

View on Github →

feat(data/nat/basic,algebra/ring): adding two lemmas about division (#385)

Estimated changes

Modified algebra/ring.lean

added theorem dvd_add_left

added theorem dvd_add_right

Modified data/nat/basic.lean