Skip to content

feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4)#591

Merged
gHashTag merged 8 commits into
mainfrom
feat/phd-kat-12
May 10, 2026
Merged

feat(phd-kat-12): Theorem 12.7 KART-GF(16) isomorphism (Admitted, witnessed n<=4)#591
gHashTag merged 8 commits into
mainfrom
feat/phd-kat-12

Commits

Commits on May 8, 2026

Commits on May 9, 2026

Commits on May 10, 2026