mathlib

cfedf1d5 - feat(ring_theory/ideal/operations.lean): lemmas about coprime ideals (#14176)

feat(ring_theory/ideal/operations.lean): lemmas about coprime ideals (#14176) Generalises some lemmas from `ring_theory/coprime/lemmas.lean` to the case of non-principal ideals.