Commit 2023-11-20 11:31 a9ef2c36
View on Github →feat(RingTheory/Ideal/Basic): an ideal is prime if it is maximally disjoint from a submonoid (#7460)
feat(RingTheory/Ideal/Basic): an ideal is prime if it is maximally disjoint from a submonoid (#7460)