Research: present-head I−G/2 full-row forcing census — 144/144 need +2 (no new kappa) - #3621

Research: present-head I−G/2 full-row forcing census — 144/144 need +2 (no new kappa)#3621

Mister-Meeseeks merged 4 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/present-head-full-row-census-ad52VictorLiwentao/integer-mult-bounds:cursor/present-head-full-row-census-ad52Copy head branch name to clipboard