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.
1 parent b481327 commit 731fcb2Copy full SHA for 731fcb2
CHANGELOG.md
@@ -79,7 +79,7 @@ Deprecated names
79
New modules
80
-----------
81
82
-* `Algebra.Cosntruct.Quotient.Group` for the definition of quotient groups.
+* `Algebra.Construct.Quotient.Group` for the definition of quotient groups.
83
84
* `Algebra.Construct.Sub.Group` for the definition of subgroups.
85
0 commit comments