Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-01-16 00:47 78493c9d

View on Github →

feat(data/nat/modeq): add missing lemmas for int and nat regarding dvd (#5752) Adding lemmas (a+b)/c=a/c+b/c if c divides a for a b c : nat and a b c : int after discussion on Zulip https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/nat_add_div

Estimated changes