Mathlib Changelog
v4
Changelog
About
Github
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.equivPi
View on Github →