diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 14:07:29 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-06-17 14:07:29 +0200 |
| commit | a59d1bc087a8698a774a46ba0138d009ee40a7ea (patch) | |
| tree | eba144f9f09454d207ef0f42ac8360aac36590e8 | |
| parent | 2040d9d6548c13c59ee0f921ca4089ca20552999 (diff) | |
| parent | 0ec228dba23e24465e92f874f7d841a4bcaa3fbb (diff) | |
Merge PR #7848: Fix a typo in documentation
| -rw-r--r-- | doc/sphinx/addendum/generalized-rewriting.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/addendum/generalized-rewriting.rst b/doc/sphinx/addendum/generalized-rewriting.rst index e10e16c10..e4d24a1f7 100644 --- a/doc/sphinx/addendum/generalized-rewriting.rst +++ b/doc/sphinx/addendum/generalized-rewriting.rst @@ -106,7 +106,7 @@ argument. Morphisms can also be contravariant in one or more of their arguments. A morphism is contravariant on an argument associated to the relation -instance :math`R` if it is covariant on the same argument when the inverse +instance :math:`R` if it is covariant on the same argument when the inverse relation :math:`R^{−1}` (``inverse R`` in Coq) is considered. The special arrow ``-->`` is used in signatures for contravariant morphisms. |