Skip to content

Prove exactly three shared A2 rank-six equality fibers (no κ) - #6582

Open
petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1102h-exact-interface-step
Open

petalas wants to merge 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1102h-exact-interface-step

feat(research): classify shared A2 rank-six equality supports

9380f45
Select commit
Loading
Failed to load commit list.
Sign in for the full log view