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