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