feat(RingTheory/Ideal/GoingUp): a prime ideal is minimal over the image of its preimage #39672
+6
−0
This job was skipped
Loading