law gfm_mul_inv_gf32

bend-osdev-gf@0.1.1.0 · LAWS.bend:271

import Base
import bend-osdev-gf@0.1.1.0/gfm.bend as M

271law gfm_mul_inv_gf32:
272  for +a: U32
273  for nz: {U32.is_eq(M.Gfm.elt(M.Gfm.gf32(), a), 0) == False{} : Bool}
274  {M.Gfm.mul(M.Gfm.gf32(), a, M.Gfm.inv(M.Gfm.gf32(), a)) == 1 : U32}