law reverse_reverse

bend-mathlib@0.8.1.0 · string.bend:120

import Base

120# Reversing twice gives the string back.
121law reverse_reverse:
122  for a: String
123  {String.reverse(String.reverse(a)) == a : String}