law eq_refl_sym

bend-mathlib@0.8.1.0 · string.bend:617

import Base

617# Every string is equal to itself under String.eq, reversed to rewrite toward the simple side.
618law eq_refl_sym:
619  for s: String
620  {True{} == String.eq(s, s) : Bool}