Decoder floors, case (b): the six remaining d = 8 multisets of #2816 are dead (≥ 64 with ≤ 3 non-full corrections; E8 lifts ≥ 67; no κ claim) - #2826

Decoder floors, case (b): the six remaining d = 8 multisets of #2816 are dead (≥ 64 with ≤ 3 non-full corrections; E8 lifts ≥ 67; no κ claim)#2826

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

DreamingOfClouds:research/one-sided-six-multisetsDreamingOfClouds/integer-mult-bounds:research/one-sided-six-multisetsCopy head branch name to clipboard