feat: toNat
and toInt
theorems for signExtend
#294
Loading
toNat
and toInt
theorems for signExtend
#294