Redirecting to
../../crypto_bigint/prelude/trait.CheckedMul.html
...