Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_2a9fa88c4206964d15bfbbc297f8b3b39425bd997c7d45b304d4d13c3943fd64 with
1
.
The subproof is completed by applying SNo_1.
■