mathlib

19d2ea76 - feat(order/atoms): Pairwise coprime (#5596)

feat(order/atoms): Pairwise coprime (#5596) Don't really know what to call it, but it's the atom-level version of the statement that maximal ideals are pairwise coprime.