feat(RingTheory/Ideal/GoingUp): a prime ideal is minimal over the image of its preimage#39672

tb65536 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

tb65536:tb_intminprtb65536/mathlib4:tb_intminprCopy head branch name to clipboard