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