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