Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsuccI1 with
u20
,
u11
.
The subproof is completed by applying unknownprop_bebc3a1b9a3047cac85758645165d442be0e32c7615a5b3299e3db81576afef9.
■