Skip to content

Prove a principal-ideal dirty-fanout obstruction over K[x,y] (no new κ) - #5211

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1022s-intact-variance
Oct 23, 2026
Merged

Prove a principal-ideal dirty-fanout obstruction over K[x,y] (no new κ)#5211
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1022s-intact-variance

feat(research): prove polynomial one-insertion fanout obstruction

514f3df
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 5m 56s