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