Theorem Valuation.valuationSubring.integers

Modification history

2025-07-14 21:15
Mathlib/RingTheory/Valuation/ValuationSubring.lean
chore(RingTheory/ValuationSubring): valuationSubring_integers (#27111) …
Added Valuation.valuationSubring.integersView on Github →