Def ZMod.prodEquivPi

Modification history

2023-10-10 17:21
Mathlib/Data/ZMod/Quotient.lean
feat: Chinese remainder for ZMod. (#7599)
Added ZMod.prodEquivPiView on Github →