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