Commit 2021-01-06 02:30 19d2ea76
View on Github →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.
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.