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