F-star residue (i-prime): cancellation lines - tie lemma, insertion-finite mixing, fixture settlement, and the corrected dyadic corollary (no kappa) - #2901

F-star residue (i-prime): cancellation lines - tie lemma, insertion-finite mixing, fixture settlement, and the corrected dyadic corollary (no kappa)#2901

navinor wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-71-cancellation-lines-80d69336navinor/integer-mult-bounds:research/agent-71-cancellation-lines-80d69336Copy head branch name to clipboard