Search for blocks/addresses/...
Proofgold Proof
pf
Apply ordsucc_inj_contra with
u19
,
u8
.
The subproof is completed by applying unknownprop_7e1998002f147e67b6c81ea460bfd50c546c68a418cf87ccb0a0af7cf4a5d049.
■