∫ Утверждение Mathlib
bodd_zero
Mathlib.Data.Int.Bitwise
URI: https://scilib.ai/kg/mathlib#Int.bodd_zero
∫ Утверждение Mathlib
Mathlib.Data.Int.Bitwise
URI: https://scilib.ai/kg/mathlib#Int.bodd_zero