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