law reverse_reverse_sym

bend-mathlib@0.8.1.0 · string.bend:585

import Base

585# Reversing twice gives the string back, reversed to rewrite toward the simple side.
586law reverse_reverse_sym:
587  for a: String
588  {a == String.reverse(String.reverse(a)) : String}