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