law to_list_from_list_sym

bend-mathlib@0.8.1.0 · string.bend:700

import Base

700# Converting a character list to a string and back gives the list, reversed to rewrite toward the simple side.
701law to_list_from_list_sym:
702  for cs: List<&2, Char>
703  {cs == String.to_list(String.from_list(cs)) : List<&2, Char>}