zero_shiftLeft' — Mathlib · SciLib

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

zero_shiftLeft'

Mathlib.Data.Int.Bitwise

URI: https://scilib.ai/kg/mathlib#Int.zero_shiftLeft'

← MathLib Explorer