Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_ordsucc_in_ordsucc with
14
,
6
leaving 2 subgoals.
The subproof is completed by applying nat_14.
The subproof is completed by applying unknownprop_5005973541e9a8c57e977a23126b3a791b50fd7b26384536a49f8eb6cf69b910.
■