law length_reverse

bend-mathlib@0.8.1.0 · string.bend:362

import Base

362# Reversing preserves the length.
363law length_reverse:
364  for s: String
365  {String.length(String.reverse(s)) == String.length(s) : Nat}