Skip to content

feat: convert x.sdiv (2^k) into x.sshiftRight k #289

feat: convert x.sdiv (2^k) into x.sshiftRight k

feat: convert x.sdiv (2^k) into x.sshiftRight k #289

check-lean-files

succeeded Nov 14, 2024 in 26s