Skip to content

Implement StandardAssociate(Unit) for ZmodnZ, tweak documentation for IsEuclideanRing#1990

Merged
olexandr-konovalov merged 2 commits intogap-system:masterfrom fingolfin:mh/ZmodnZDec 18, 2017
+108-1

Commits

Commits on Dec 18, 2017