Commit 2024-11-14 17:15 d98b0c38
View on Github →feat(RingTheory): valuation subrings are maximal local subrings (#19012) from the valuative criterion project
feat(RingTheory): valuation subrings are maximal local subrings (#19012) from the valuative criterion project