∫ Утверждение Mathlib

instValuativePreorderWithPreorder

Mathlib.RingTheory.Valuation.ValuativeRel.Basic

URI: https://scilib.ai/kg/mathlib#ValuativeRel.instValuativePreorderWithPreorder

← MathLib Explorer