Skip to content

feat: toNat theorems for signExtend #259

feat: toNat theorems for signExtend

feat: toNat theorems for signExtend #259

check-lean-files

succeeded Oct 27, 2024 in 22s