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