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