Search for blocks/addresses/...
Proofgold Proof
pf
Apply mul_nat_SR with
u6
,
u3
,
λ x0 x1 .
x1
=
u24
leaving 2 subgoals.
The subproof is completed by applying nat_3.
Apply unknownprop_baac09b8a41cf451bf4d8767e8eb03d0a0f23c2e05dd99c9aa5fab2c8144d336 with
λ x0 x1 .
add_nat
u6
x1
=
u24
.
The subproof is completed by applying unknownprop_7e42d863a2da206833e8577240b54850581abf0ebc27fdaeb892f6b06774a830.
■