Formalize the integral retraction and monomial bridge - #1610

Formalize the integral retraction and monomial bridge#1610

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

an664:research/integral-retraction-monomial-bridgean664/integer-mult-bounds:research/integral-retraction-monomial-bridgeCopy head branch name to clipboard