mathlib3

b2d95c0c - feat(data/nat/modeq): Generalised version of the Chinese remainder theorem (#5683)

feat(data/nat/modeq): Generalised version of the Chinese remainder theorem (#5683) That allows the moduli to not be coprime, assuming the necessary condition. Old crt is now in terms of this one