law is_empty_reverse_sym

bend-mathlib@0.8.1.0 · string.bend:665

import Base

665# The reverse is empty exactly when the string is, reversed to rewrite toward the simple side.
666law is_empty_reverse_sym:
667  for s: String
668  {String.is_empty(s) == String.is_empty(String.reverse(s)) : Bool}