Commit 2025-07-14 21:15 15b41842
View on Github →chore(RingTheory/ValuationSubring): valuationSubring_integers (#27111) helper lemma to get access to prop-style properties of valuation integer ring
chore(RingTheory/ValuationSubring): valuationSubring_integers (#27111) helper lemma to get access to prop-style properties of valuation integer ring