Commit 2025-11-04 20:26 876249be
View on Github →feat: Chinese Remainder Theorem for ZMod n (#29761)
Define ZMod.equivPi, the Chinese Remainder Theorem for ZMod n, decomposing it as a product of ZMod over its prime power factors.
feat: Chinese Remainder Theorem for ZMod n (#29761)
Define ZMod.equivPi, the Chinese Remainder Theorem for ZMod n, decomposing it as a product of ZMod over its prime power factors.