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