law to_list_append_sym

bend-mathlib@0.8.1.0 · string.bend:716

import Base

716# The characters of an append are the characters of each part, appended, reversed to rewrite toward the simple side.
717law to_list_append_sym:
718  for a: String
719  for -b: String
720  {List.append(&2, Char, String.to_list(a), String.to_list(b)) == String.to_list(String.append(a, b)) : List<&2, Char>}