Fix docs typos

Co-authored-by: Codex <codex@openai.com>

Author: james-d-mitchell

docs/source/changelog-v1.rst

@@ -82,7 +82,7 @@ version 3 of libsemigroups_. The extent of the changes made in this release
 means that it is likely that any code written with earlier versions of
 ``libsemigroups_pybin11`` will no longer work.
 
-The structure of ``libsemigroups_pybind11`` is very tightly linked to the the
+The structure of ``libsemigroups_pybind11`` is very tightly linked to the
 structure of libsemigroups_. Therefore, some of the differences between
 v0.10.1 and v1.0.0 of ``libsemigroups_pyind11`` will be related to the
 differences between v2 and v3 of libsemigroups_, such as changes to class names

docs/source/data-structures/presentations/to-inverse-present.rst

@@ -113,7 +113,7 @@ the type of words specified in *rtype*:
        objects of type :any:`InversePresentation` must be converted from one
        type to another sometimes, but not other times.
 
-If the alphabet of of *ip* is :math:`\{a_0, a_1, \dots a_{n-1}\}`, where each
+If the alphabet of *ip* is :math:`\{a_0, a_1, \dots a_{n-1}\}`, where each
 letter is of type ``str``, then the conversion from one type to another is
 :math:`a_i \mapsto` ``human_readable_index(a_i)``. Conversely, if each letter is
 of type ``list[int]``, then the conversion from one type to another is

docs/source/data-structures/presentations/to-present.rst

@@ -66,7 +66,7 @@ the type of words specified in *rtype*:
        presentations must be converted from one type to another sometimes, but
        not other times.
 
-If the alphabet of of *p* is :math:`\{a_0, a_1, \dots a_{n-1}\}`, where each
+If the alphabet of *p* is :math:`\{a_0, a_1, \dots a_{n-1}\}`, where each
 letter is of type ``str``, then the conversion from one type to another is
 :math:`a_i \mapsto` ``human_readable_index(a_i)``. Conversely, if each letter is
 of type ``list[int]``, then the conversion from one type to another is

docs/source/main-algorithms/froidure-pin/to-froidure-pin.rst

@@ -101,7 +101,7 @@ This function throws a :any:`LibsemigroupsError` if the
 .. warning::
 
     The returned :any:`FroidurePin` instance is always infinite, and so any
-    calls to any member functions that that trigger a full enumeration will
+    calls to any member functions that trigger a full enumeration will
     never terminate (or they will when your computer kills the process because
     it has run out of memory).
 

docs/source/main-algorithms/knuth-bendix/to-knuth-bendix.rst

@@ -100,9 +100,9 @@ following values for *args*:
 Additionally, specify one of the following for *rtype*:
 
     - ``(KnuthBendix, 'RewriteTrie')`` for constructing a :any:`KnuthBendix`
-      with the the ``RewriteTrie'`` rewriter.
+      with the ``RewriteTrie'`` rewriter.
     - ``(KnuthBendix, 'RewriteFromLeft')`` for constructing a :any:`KnuthBendix`
-      with the the ``RewriteFromLeft'`` rewriter.
+      with the ``RewriteFromLeft'`` rewriter.
 
 This function converts a :any:`ToddCoxeter` object *tc* to a :any:`KnuthBendix`
 object with the rewriter as specified above, using