Repository navigation

Independently audit F9 automorphism characters and norm-only false positives - #5700

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

theon199:research/seed83-f9-character-audit

Oct 26, 2026

Merged

Independently audit F9 automorphism characters and norm-only false positives#5700
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
theon199:research/seed83-f9-character-audit

Commits on Oct 25, 2026
- Independently audit F9 automorphism determinant characters
  theon199
  committed
  164bfe8