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