Skip to content

Turn zzModRing & ZZModRing into ResidueRing subtypes#1819

Open
fingolfin wants to merge 2 commits intomasterfrom mh/ModRing-ResidueRing

Commits

Commits on Nov 26, 2024