Skip to content

Merge branch 'main' into feat/phd-kat-12

7f71868
Select commit
Loading
Failed to load commit list.
Merged

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

Merge branch 'main' into feat/phd-kat-12
7f71868
Select commit
Loading
Failed to load commit list.