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

nonZeroDivisorsRight_eq_nonZeroDivisors

Mathlib.Algebra.GroupWithZero.NonZeroDivisors

URI: https://scilib.ai/kg/mathlib#nonZeroDivisorsRight_eq_nonZeroDivisors

← MathLib Explorer