Skip to content

Restrict generic ==(x::NCRingElem, y::NCRingElem) fallback#2212

Merged
fingolfin merged 3 commits into
masterfrom
mh/restrict-equality-fallback
Dec 22, 2025
Merged

Restrict generic ==(x::NCRingElem, y::NCRingElem) fallback#2212
fingolfin merged 3 commits into
masterfrom
mh/restrict-equality-fallback

Commits

Commits on Dec 15, 2025