Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u15
,
u1
.
The subproof is completed by applying unknownprop_033f55ba76fb230c8269a9f3dfb9ab5f1debf38df2ed6a8204e88ab225544563.
■