Move sub_val into EnatValRing so the user can provide an more efficient implementation - Githubissues

KisaraBlue / ec-tate-lean

Separate project from mathib4

3 stars 2 forks source link

Move sub_val into EnatValRing so the user can provide an more efficient implementation #6

Closed alexjbest closed 1 year ago