Research: one-sided residue closures — Circuit Lemma, relative root counting and plane lemma close 480 of the 603 d>=4 residues (116 open; no kappa claim) - #2985

Research: one-sided residue closures — Circuit Lemma, relative root counting and plane lemma close 480 of the 603 d>=4 residues (116 open; no kappa claim)#2985

DreamingOfClouds wants to merge 3 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/one-sided-residue-closuresDreamingOfClouds/integer-mult-bounds:research/one-sided-residue-closuresCopy head branch name to clipboard