F-star residue class (iii): the entry-class scope of Lemma AN/MX - mis-stated and empty (no kappa) - #2869

F-star residue class (iii): the entry-class scope of Lemma AN/MX - mis-stated and empty (no kappa)#2869

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

navinor:research/agent-67-fstar-residue-iii-kb5d-8a3fnavinor/integer-mult-bounds:research/agent-67-fstar-residue-iii-kb5d-8a3fCopy head branch name to clipboard