Theorem Nat.pairwise_coprime_pow_primeFactors_factorization

Modification history

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