State the phase-sharp pre-wrapper extension of factor_iff_pre. - #4132

State the phase-sharp pre-wrapper extension of factor_iff_pre.#4132

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/hpe-pre-phase-lemma-e184unpaidmoon/integer-mult-bounds:cursor/hpe-pre-phase-lemma-e184Copy head branch name to clipboard