Contribution: ZChinese
A proof of the Chinese Remainder Lemma
Authors
- Valérie Ménissier-Morain
Description
This is a rewriting of the contribution chinese-lemma using Zarith
Keywords
number theory, chinese remainder, primality, prime numbers
A proof of the Chinese Remainder Lemma
This is a rewriting of the contribution chinese-lemma using Zarith
number theory, chinese remainder, primality, prime numbers