mathlib

78493c9d - feat(data/nat/modeq): add missing lemmas for int and nat regarding dvd (#5752)

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 Co-authored-by: Julian-Kuelshammer <68201724+Julian-Kuelshammer@users.noreply.github.com>