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