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