Finite certificate: no four-ADD omission preserves the frozen PR967 D boundary (no new kappa) - #2018

Finite certificate: no four-ADD omission preserves the frozen PR967 D boundary (no new kappa)#2018

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

commdata2338:pr967-d-four-omission-censuscommdata2338/integer-mult-bounds:pr967-d-four-omission-censusCopy head branch name to clipboard