Search for blocks/addresses/...
Proofgold Proof
pf
Apply mul_nat_SR with
u6
,
u5
,
λ x0 x1 .
x1
=
u36
leaving 2 subgoals.
The subproof is completed by applying nat_5.
Apply unknownprop_1347a1d753dde2ac4bbd3155e8c7392ecd33d2ac3c4c2f2aa872a1bf71e883d9 with
λ x0 x1 .
add_nat
u6
x1
=
u36
.
The subproof is completed by applying unknownprop_c0bdb251443e80b4627516c6606f4beb503150ad0baf4123d259f0f7768a57bd.
■