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