Skip to content

Prove sharp P112 COPY power for the right-space free-correction extension - #2515

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ywz65:research/ywz65-30-r011-p112-free-extension
Oct 16, 2026
Merged

Prove sharp P112 COPY power for the right-space free-correction extension#2515
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
ywz65:research/ywz65-30-r011-p112-free-extension

Bound P112 free correction in the enlarged right factor space

92231f9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs