law character_compare_self

bend-collections-laws-math@1.0.0.0 · proofs/lib/lemmas/proofs/native_map.bend:72

import Base

72law character_compare_self:
73  for c: Char
74  {Char.cmp(c, c) == ((c, c), EQ{}) : (Char & Char) & Cmp}