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