Prove five A2 targets need five rank-three calls (no κ) - #7179

Prove five A2 targets need five rank-three calls (no κ)#7179

petalas wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w2-1111a-new-obstructionpetalas/integer-mult-bounds:research/w2-1111a-new-obstructionCopy head branch name to clipboard