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