Theorem Nat.modEq_iff_eq_of_div_eq

Modification history

2026-01-30 10:38
Mathlib/Data/Nat/ModEq.lean
feat(Data/Nat/Init): add `div`/`mod` extension theorems. (#34201) …
Added Nat.modEq_iff_eq_of_div_eqView on Github →