law is_empty_reverse

bend-mathlib@0.8.1.0 · string.bend:418

import Base

418# The reverse is empty exactly when the string is.
419law is_empty_reverse:
420  for s: String
421  {String.is_empty(String.reverse(s)) == String.is_empty(s) : Bool}