init.data.nat.bitwise
Mathlib.Init.Data.Nat.Bitwise
The unported dependencies are
init.data.nat.basic
init.logic
init.core