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