Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u21
,
u13
.
The subproof is completed by applying unknownprop_7bff456dcf0c6179c7c7c0cb5bf08d4b612cd3ffda36c7c8e882abbc5bab0d88.
■