Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u13
,
u4
.
The subproof is completed by applying unknownprop_0b3e3e45ef080c7b7a49c00c4067713ad08b47ab8b0713e5aaab56e6d7a5b982.
■