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

zero_eq_bot

Mathlib.Algebra.Order.GroupWithZero.Canonical

URI: https://scilib.ai/kg/mathlib#WithZero.zero_eq_bot

← MathLib Explorer