Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u18
,
u5
.
The subproof is completed by applying unknownprop_d83dad648efc18d38402e1c2bed2c4218fb94161d6f09d73e65dd826ebcdade1.
■