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