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