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