Skip to content

Prove exact integer-transvection length λ(B^k)=2k (no new κ) - #5209

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1022s-scoped-obstruction
Oct 23, 2026
Merged

Prove exact integer-transvection length λ(B^k)=2k (no new κ)#5209
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w3-1022s-scoped-obstruction

feat(research): prove exact integer-transvection power lengths

b80b8c9
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 23, 2026 in 4m 36s