Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u22
,
u9
.
The subproof is completed by applying unknownprop_9ccfcb22d5d9d8693342f555c022b74c5fc462d926f3aae2fb26326609fc84b1.
■