instance Lean.Grind.instCommRingBitVec {w : Nat} : CommRing (BitVec w)

Equations

• One or more equations did not get rendered due to their size.

instance Lean.Grind.instIsCharPBitVecHPowNatOfNat {w : Nat} : IsCharP (BitVec w) (2 ^ w)

instance Lean.Grind.instPowBitVecUint {w : Nat} : ToInt.Pow (BitVec w) (IntInterval.uint w)