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