proofs/math/random/wrappers.bend checks

import Base
import ../../../spec/lib/common.bend as C
import ../../../spec/math/w64.bend as SW
import ../../../spec/math/random/source.bend as SRC
import ../../../spec/math/random.bend as SRM
import ../../../src/math/u64.bend as W
import ../../../src/math/w64.bend as X
import ../../../src/math/random/rand.bend as R
import ../../lib/nat.bend as N
import ../../lib/logic.bend as L
import ../../lib/u32.bend as U
import ../../lib/lemmas/spec/numeric.bend as S
import ../typed/width.bend as WW
import ../typed/u32laws.bend as LW
import ../typed/w64add.bend as WA
import ../typed/f64bits.bend as FB
import ../typed/w64clz.bend as WC
import ../typed/w64sh.bend as SH
import ../typed/w64div.bend as W64D
import ../u64/u64div.bend as PD
import ../typed/w64mul.bend as W64M
import ../../lib/word.bend as WD
import ../../lib/arith.bend as LA
import ../natural/arith.bend as AR
import ./bounded.bend as MR
import ./lemire.bend as LE