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