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

instZeroValueGroupWithZero

Mathlib.RingTheory.Valuation.ValuativeRel.Basic

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

← MathLib Explorer