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)