Theorem Nat.modEq_and_modEq_iff_modEq_lcm

Modification history

2026-10-17 12:17
Mathlib/Data/Nat/ModEq.lean
feat(Data/Nat/ModEq): add congruence mod lcm lemma (#44839) …
Added Nat.modEq_and_modEq_iff_modEq_lcmView on Github →