law v_bch13_inv

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

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

285law v_bch13_inv:
286  {M.Gfm.inv(M.Gfm.bch13(), 1234) == 2297 : U32}