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