law from_list_to_list

bend-mathlib@0.8.1.0 · string.bend:490

import Base

490# Converting a string to a character list and back gives the string.
491law from_list_to_list:
492  for s: String
493  {String.from_list(String.to_list(s)) == s : String}