law length_to_list_sym

bend-mathlib@0.8.1.0 · string.bend:725

import Base

725# A string has as many characters as its character list, reversed to rewrite toward the simple side.
726law length_to_list_sym:
727  for s: String
728  {String.length(s) == List.length(&2, Char, String.to_list(s)) : Nat}