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