~/jendhub

law reverse_append

bend-mathlib@0.8.1.0 · string.bend:101

import bend-mathlib@0.8.1.0/string.bend as String
import Base

101# Reversing an append reverses and swaps the parts: reverse (a ++ b) = reverse b ++ reverse a.
102law reverse_append:
103  for a: String
104  for b: String
105  {String.reverse(String.append(a, b)) == String.append(String.reverse(b), String.reverse(a)) : String}

Uses (5)

Used by (1)