Theorem Nat.Coprime.cast

Modification history

2023-10-10 17:21
Mathlib/RingTheory/Coprime/Lemmas.lean
feat: Chinese remainder for ZMod. (#7599)
Added Nat.Coprime.castView on Github →