∫ Утверждение Mathlib
floor_zero
Mathlib.Algebra.Order.Floor.Ring
URI: https://scilib.ai/kg/mathlib#Int.floor_zero
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Floor.Ring
URI: https://scilib.ai/kg/mathlib#Int.floor_zero