We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
CHANGELOG
1 parent 6778d54 commit 08560e2Copy full SHA for 08560e2
CHANGELOG.md
@@ -79,7 +79,7 @@ Deprecated names
79
New modules
80
-----------
81
82
-* `Algebra.Construct.Quotient.{Abelian}Group` for the definition of quotient (Abelian) groups.
+* `Algebra.Construct.Quotient.{{Abelian}Group|Ring}` for the definition of quotient (Abelian) groups and rings.
83
84
* `Algebra.Construct.Sub.{Abelian}Group` for the definition of sub-(Abelian)groups.
85
0 commit comments