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