Research: one dirty role does not lower SL2(F3) conjugate-triple minimum (no new kappa) - #4083

Research: one dirty role does not lower SL2(F3) conjugate-triple minimum (no new kappa)#4083

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

VictorLiwentao:cursor/sl2f3-dirty-role-four-60b9VictorLiwentao/integer-mult-bounds:cursor/sl2f3-dirty-role-four-60b9Copy head branch name to clipboard