Theorem IsCoprime.intCast

Modification history

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