law and_false

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

import Base

19law and_false:
20  for +b: Bool
21  {Bool.and(b, False{}) == False{} : Bool}