Fix doc typos

Author: kryzar

src/sage/categories/drinfeld_modules.py

@@ -42,7 +42,7 @@ class DrinfeldModules(Category_over_base_ring):
     by the rule `\tau \lambda = \lambda^q \tau` for any `\lambda \in K`.
 
     The extension `K`/`\mathbb{F}_q[T]` (represented as an instance of
-    the class class:`sage.rings.ring_extension.RingExtension`) is the
+    the class :class:`sage.rings.ring_extension.RingExtension`) is the
     *base field* of the category; its defining morphism `\gamma` is
     called the *base morphism*.
 
@@ -577,7 +577,8 @@ def base(self):
             Return the base field of this Drinfeld module, viewed as
             an algebra over the function ring.
 
-            This is an instance of the class class:`sage.rings.ring_extension.RingExtension`.
+            This is an instance of the class
+            :class:`sage.rings.ring_extension.RingExtension`.
 
             EXAMPLES::
 
@@ -630,7 +631,8 @@ def base_over_constants_field(self):
             Return the base field, seen as an extension over the constants
             field `\mathbb{F}_q`.
 
-            This is an instance of the class class:`sage.rings.ring_extension.RingExtension`.
+            This is an instance of the class
+            :class:`sage.rings.ring_extension.RingExtension`.
 
             EXAMPLES::
 

src/sage/rings/function_field/drinfeld_modules/drinfeld_module.py

@@ -46,14 +46,14 @@ class DrinfeldModule(Parent, UniqueRepresentation):
     Let `\mathbb{F}_q[T]` be a polynomial ring with coefficients in a
     finite field `\mathbb{F}_q` and let `K` be a field. Fix a ring
     morphism `\gamma: \mathbb{F}_q[T] \to K`; we say that `K` is an
-    `\mathbb{F}_q[T]`*-field*. Let `K\{\tau\}` be the ring of Ore
+    `\mathbb{F}_q[T]`-*field*. Let `K\{\tau\}` be the ring of Ore
     polynomials with coefficients in `K`, whose multiplication is given
     by the rule `\tau \lambda = \lambda^q \tau` for any `\lambda \in K`.
 
     A Drinfeld `\mathbb{F}_q[T]`-module over the base
     `\mathbb{F}_q[T]`-field `K` is an `\mathbb{F}_q`-algebra morphism
-    `\phi: \mathbb{F}_q[T] \to K\{\tau\}` such that `\Im(\phi) \not\subset K`
-    and `\phi` agrees with `\gamma` on `\mathbb{F}_q`.
+    `\phi: \mathbb{F}_q[T] \to K\{\tau\}` such that `\mathrm{Im}(\phi)
+    \not\subset K` and `\phi` agrees with `\gamma` on `\mathbb{F}_q`.
 
     For `a` in `\mathbb{F}_q[T]`, `\phi(a)` is denoted `\phi_a`.
 
@@ -359,7 +359,7 @@ class DrinfeldModule(Parent, UniqueRepresentation):
         sage: P * phi(T) == psi(T) * P
         True
 
-    If the input does not define an isogeny, an exception is raised:
+    If the input does not define an isogeny, an exception is raised::
 
         sage: phi.velu(0)
         Traceback (most recent call last):
@@ -375,8 +375,9 @@ class DrinfeldModule(Parent, UniqueRepresentation):
     The `\mathbb{F}_q[T]`-Drinfeld module `\phi` induces a special left
     `\mathbb{F}_q[T]`-module structure on any field extension `L/K`. Let
     `x \in L` and `a` be in the function ring; the action is defined as
-    `(a, x) \mapsto \phi_a(x)`. The method :meth:`action` returns an
-    ``Action`` object representing the Drinfeld module action.
+    `(a, x) \mapsto \phi_a(x)`. The method :meth:`action` returns a
+    :class:`sage.rings.function_field.drinfeld_modules.action.Action`
+    object representing the Drinfeld module action.
 
     .. NOTE::