Def ZMod.equivPi

Modification history

2025-11-04 20:26
Mathlib/Data/ZMod/QuotientRing.lean
feat: Chinese Remainder Theorem for `ZMod n` (#29761) …
Added ZMod.equivPiView on Github →