improve ring_iso_oscar_gap
for finite fields
#808
Merged
ring_iso_oscar_gap
for finite fields
#808