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

generator_ne_one

Mathlib.RingTheory.Valuation.Discrete.Basic

URI: https://scilib.ai/kg/mathlib#Valuation.IsRankOneDiscrete.generator_ne_one

← MathLib Explorer