law reverse_append_sym

bend-mathlib@0.8.1.0 · string.bend:576

import Base

576# Reversing an append reverses and swaps the parts: reverse (a ++ b) = reverse b ++ reverse a, reversed to rewrite toward the simple side.
577law reverse_append_sym:
578  for a: String
579  for b: String
580  {String.append(String.reverse(b), String.reverse(a)) == String.reverse(String.append(a, b)) : String}