Commit 2024-11-14 17:15 d98b0c38

View on Github →

feat(RingTheory): valuation subrings are maximal local subrings (#19012) from the valuative criterion project

Estimated changes