Skip to content

Count all automorphisms of nonsplit Frobenius products (no κ) - #6578

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w7-1102h-frontier-obstruction
Nov 10, 2026
Merged

Count all automorphisms of nonsplit Frobenius products (no κ)#6578
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
petalas:research/w7-1102h-frontier-obstruction

docs(research): state verifier resource deviations

a148f24
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Nov 3, 2026 in 4m 44s