Repository navigation
Prove a two-region moment obstruction after carried-frame swaps (no new κ) - #4997
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