Prove prime-exponent group labels need one rank unit per target (no new κ) - #6008

Prove prime-exponent group labels need one rank unit per target (no new κ)#6008

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w9-1022ag-prime-exponent-rank-cutpetalas/integer-mult-bounds:research/w9-1022ag-prime-exponent-rank-cutCopy head branch name to clipboard