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