Noncommuting controller identity for all p ≤ 14 (91 cases) via a support-injectivity reduction (answers #4534 Q2 empirically; no new κ) - #4540

Noncommuting controller identity for all p ≤ 14 (91 cases) via a support-injectivity reduction (answers #4534 Q2 empirically; no new κ)#4540

Mister-Meeseeks merged 2 commits into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

pinterbanget:free-identity-allppinterbanget/integer-mult-bounds:free-identity-allpCopy head branch name to clipboard