Prove a separated-control ceiling for two FULLs with retained helpers (no new κ) - #4928

Prove a separated-control ceiling for two FULLs with retained helpers (no new κ)#4928

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

Clear1nsight:research/two-full-retained-helper-ceiling-20261023Clear1nsight/integer-mult-bounds:research/two-full-retained-helper-ceiling-20261023Copy head branch name to clipboard