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