Skip to content

Prove unbounded dyadic acquisition at rational rank one (no new κ) - #5904

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1022z-original-result
Oct 27, 2026
Merged

Prove unbounded dyadic acquisition at rational rank one (no new κ)#5904
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w10-1022z-original-result

feat(research): prove unbounded rank-one dyadic acquisition

26309a3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 error
plan
failed Oct 27, 2026 in 4m 29s