Theorem Nat.ext_div_modEq_iff

Modification history

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