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