law reverse_singleton_sym

bend-mathlib@0.8.1.0 · string.bend:640

import Base

640# Reversing a one-character string gives it back, reversed to rewrite toward the simple side.
641law reverse_singleton_sym:
642  for -c: Char
643  {SCon{c, SNil{}} == String.reverse(SCon{c, SNil{}}) : String}