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

one_mem_valueMonoid

Mathlib.Algebra.GroupWithZero.Range

URI: https://scilib.ai/kg/mathlib#MonoidWithZeroHom.one_mem_valueMonoid

← MathLib Explorer