law v_bch13_log

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

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

288law v_bch13_log:
289  {M.Gfm.log(M.Gfm.bch13(), 1664) == 100 : U32}