law length_to_list

bend-mathlib@0.8.1.0 · string.bend:517

import Base

517# A string has as many characters as its character list.
518law length_to_list:
519  for s: String
520  {List.length(&2, Char, String.to_list(s)) == String.length(s) : Nat}