Skip to content

chore: add @[simp] to BitVec.toNat_mul #1337

chore: add @[simp] to BitVec.toNat_mul

chore: add @[simp] to BitVec.toNat_mul #1337