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