Search for blocks/addresses/...
Proofgold Proof
pf
Apply nat_trans with
u8
,
u6
leaving 2 subgoals.
The subproof is completed by applying nat_8.
The subproof is completed by applying In_6_8.
■