Prove local inverse-pair error cancellation and a sharper precision guard - #5322

Prove local inverse-pair error cancellation and a sharper precision guard#5322

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

aliromman:codex/physical-pair-error-transferaliromman/integer-mult-bounds:codex/physical-pair-error-transferCopy head branch name to clipboard