Skip to content

Revise == and isequal for ring elements - #1854

Draft
fingolfin wants to merge 6 commits into
masterfrom
mh/default-equality
Draft

Revise == and isequal for ring elements#1854
fingolfin wants to merge 6 commits into
masterfrom
mh/default-equality