diff options
Diffstat (limited to 'dev/doc/naming-conventions.tex')
-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 34916494..337b9226 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} |