~/jendhub

law u32_refl

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/subtle/word.bend:271

import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/subtle/word.bend as Word
import Base

271law u32_refl:
272  for +x: U32
273  {U32.is_eq(x, x) == True{} : Bool}

Uses (4)

Used by (5)