Repository navigation
Prove sharp rank-59 boundary for P112 diagonal completions (no new κ) - #5249
Merged
Mister-Meeseeks merged 2 commits intoOct 23, 2026
Merged
Mister-Meeseeks merged 2 commits into
Mister-Meeseeks merged 2 commits into
Commits
Commits on Oct 23, 2026