law reverse_go_spec_sym

bend-mathlib@0.8.1.0 · string.bend:567

import Base

567# The reverse accumulator loop appends the reversed string to the accumulator, reversed to rewrite toward the simple side.
568law reverse_go_spec_sym:
569  for s: String
570  for acc: String
571  {String.append(String.reverse(s), acc) == String.reverse.go(s, acc) : String}