Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_942959aad6790cf3a71a2f8f2b9ffc552b42fb28a7f163a4f5e7e7842fdbd934 with
0
,
1
leaving 2 subgoals.
The subproof is completed by applying SNo_0.
The subproof is completed by applying SNo_1.
■