Orbis-Tertius/haskell-fri-proofs

Deal with Extension Fields

faezs opened this issue · 0 comments

faezs commented

Limit to Degree-3 extension