Research: one dirty role does not lower S3 longest Coxeter double minimum (no new kappa) - #4084

Research: one dirty role does not lower S3 longest Coxeter double minimum (no new kappa)#4084

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/s3-three-role-xyx-60b9VictorLiwentao/integer-mult-bounds:cursor/s3-three-role-xyx-60b9Copy head branch name to clipboard