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

bot_eq_zero

Mathlib.RingTheory.Valuation.ValuativeRel.Basic

URI: https://scilib.ai/kg/mathlib#ValuativeRel.ValueGroupWithZero.bot_eq_zero

← MathLib Explorer