Skip to content

Revise == and isequal for ring elements#1854

Draft
fingolfin wants to merge 4 commits intomasterfrom
mh/default-equality
Draft

Revise == and isequal for ring elements#1854
fingolfin wants to merge 4 commits intomasterfrom
mh/default-equality

Commits

Commits on Dec 23, 2025