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