Prove new two-slot centre spectrum and degree at least 1093 - #5382

Prove new two-slot centre spectrum and degree at least 1093#5382

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/ten-more-08aliromman/integer-mult-bounds:codex/ten-more-08Copy head branch name to clipboard