law from_list_to_list_sym

bend-mathlib@0.8.1.0 · string.bend:708

import Base

708# Converting a string to a character list and back gives the string, reversed to rewrite toward the simple side.
709law from_list_to_list_sym:
710  for s: String
711  {s == String.from_list(String.to_list(s)) : String}