law Inverse.zero

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aes/laws.bend:55

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/aes/aes.bend as S

55law Inverse.zero:
56  {S.inverse(0) == 0 : U32}