Commit 2025-10-28 15:02 31f931fe

View on Github →

feat(RingTheory/DedekindDomain/AdicValuation): add eq_of_valuation_isEquiv_valuation (#30404)

Estimated changes