Skip to content

Switch from FiniteField to finite_field#1231

Merged
thofma merged 1 commit intothofma:masterfrom fingolfin:mh/finite_fieldOct 8, 2023

Commits

Commits on Sep 29, 2023