Theorem Nat.add_div

Modification history

2025-03-11 02:02
Mathlib/Data/Nat/ModEq.lean
chore: deprecations for nightly-2025-03-09 (#22778) …
Deleted Nat.add_divView on Github →
2022-12-31 21:27
Mathlib/Data/Nat/ModEq.lean
feat: port Data.Nat.ModEq (#1274)
Added Nat.add_divView on Github →