diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 15:22:15 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-26 15:22:15 +0200 |
| commit | cacb8a5c32eddf7d24364e0de60f5fbe652fab6c (patch) | |
| tree | f1cac6e4f3264c4a97c215e4748bd6765bd77a57 /dev | |
| parent | ff28f641f7eef85b501b3f0f875ffc8d31158376 (diff) | |
| parent | c65c479c68b76c1c9856d02bf6687544843af808 (diff) | |
Merge PR #886: Fixing what was presumably a typo in the naming conventions file
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/naming-conventions.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/doc/naming-conventions.tex b/dev/doc/naming-conventions.tex index 349164948..337b9226d 100644 --- a/dev/doc/naming-conventions.tex +++ b/dev/doc/naming-conventions.tex @@ -267,7 +267,7 @@ If the conclusion is in the other way than listed below, add suffix {forall x y:D, op (op' x y) = op' x (op y)} \itemrule{Idempotency of binary operator {\op} on domain {\D}}{Dop\_idempotent} -{forall x:D, op x n = x} +{forall x:D, op x x = x} \itemrule{Idempotency of unary operator {\op} on domain {\D}}{Dop\_idempotent} {forall x:D, op (op x) = op x} |