Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u21
,
u2
.
The subproof is completed by applying unknownprop_8cff8be52d7557efa5a4005ea8de11fab5e2b208da3fdf18e0814069496bad88.
■