F-star residue (ii): the chi(Z) >= 4 case - structural lemmas, exact anchors, and a smallest-first search with exact obstructions (no kappa) - #2890

F-star residue (ii): the chi(Z) >= 4 case - structural lemmas, exact anchors, and a smallest-first search with exact obstructions (no kappa)#2890

navinor wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-69-kb5e-chi4-73765f29navinor/integer-mult-bounds:research/agent-69-kb5e-chi4-73765f29Copy head branch name to clipboard