Z14762 : défirans ant sé révizyon-la

Vèsyon jou 4 avril 2024 à 04:35

Affichage réduit de cette page sans Javascript.

@@ Liny 93: / Liny 93: @@
                     "commutative function",
                     "commutativity",
-                    "test commutativity"
+                    "test commutativity",
+                    "f(a,b) = f(b,a)"
                 ]
             }
@@ Liny 105: / Liny 106: @@
                 "Z1K1": "Z11",
                 "Z11K1": "Z1002",
-                "Z11K2": "tests if applying the function to the arguments is independent of which order the arguments are in"
+                "Z11K2": "tests if applying the function to the arguments is independent of which order the arguments are in: f(a,b) = f(b,a)"
             }
         ]