law reverse_nil_sym

bend-mathlib@0.8.1.0 · string.bend:633

import Base

633# Reversing the empty string gives the empty string, reversed to rewrite toward the simple side.
634law reverse_nil_sym:
635  {SNil{} == String.reverse(SNil{}) : String}