feat: toNat
theorems for signExtend
#259
copyright-header.yml
on: pull_request
check-lean-files
22s
toNat
theorems for signExtend
#259