Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_018990654898ba9e35fc100e42fefe93263d7ad1c440c4b21e7158930dddc512 with
2
leaving 2 subgoals.
The subproof is completed by applying nat_2.
The subproof is completed by applying In_1_2.
■