Negative results from a search for a new coding mechanism: m = 2 closed on both sides, flag theorems, closed routes (no new κ) - #288

Negative results from a search for a new coding mechanism: m = 2 closed on both sides, flag theorems, closed routes (no new κ)#288

eumemic wants to merge 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

eumemic:research/negative-results-paradigm-searcheumemic/integer-mult-bounds:research/negative-results-paradigm-searchCopy head branch name to clipboard