Repository navigation
Research: diagonal rank-16 batches under register commutation, 134 not 8 (audit of #1779; no κ claim) - #1817
Merged
Mister-Meeseeks merged 3 commits intoOct 14, 2026
Commits
Commits on Oct 14, 2026
- andcommitted
- andcommitted
- andcommitted