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