Theorem ValuativeRel.SRel.rel

Modification history

2025-11-17 13:13

Mathlib/RingTheory/Valuation/ValuativeRel/Basic.lean

feat(RingTheory): API for valuative rel (#30423)

Added ValuativeRel.SRel.rel View on Github →