Research: prove even-subset R floor 82 among X=6 at seven queries (no new kappa) - #2686

Research: prove even-subset R floor 82 among X=6 at seven queries (no new kappa)#2686

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/seven-query-r-floor-60b9VictorLiwentao/integer-mult-bounds:cursor/seven-query-r-floor-60b9Copy head branch name to clipboard