Search for blocks/addresses/...
Proofgold Proof
pf
Apply mul_nat_SR with
u6
,
u2
,
λ x0 x1 .
x1
=
u18
leaving 2 subgoals.
The subproof is completed by applying nat_2.
Apply unknownprop_9ddae96be280814fd275777a271d36e42df3901b45e8e956b9ea9ad4753ab1fe with
λ x0 x1 .
add_nat
u6
x1
=
u18
.
The subproof is completed by applying unknownprop_e115483b7637d74d2bed988693ecd9b7ee9db505056b8d7ed213cc8365ad60d2.
■