Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u19
,
0
.
The subproof is completed by applying unknownprop_d7cf3bd48dcbe76e88e96e7372dc0dbc5c8fe92cd35e3d83899abc89d027d482.
■