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