Extends the standard theorem to consider coprime ideals in a ring, so the given sets of congruences are over different ideals.
Extends the standard theorem to consider coprime ideals in a ring, so the given sets of congruences are over different ideals.