law append_assoc

bend-mathlib@0.8.1.0 · string.bend:43

import Base

43# Append is associative: (a ++ b) ++ c = a ++ (b ++ c).
44law append_assoc:
45  for a: String
46  for -b: String
47  for -c: String
48  {String.append(String.append(a, b), c) == String.append(a, String.append(b, c)) : String}