Contribution: Chinese

A proof of the Chinese Remainder Lemma

Authors

Description

OBSOLETE. See rather Zchinese-lemma that uses Z of Zarith.

Keywords

number theory, chinese remainder, primality, prime numbers

Available files