GeneralizedCRT.jl Prove of a generalization of the Chinese Remainder Theorem and corresponding algorithm.
