Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_9b7e08ae09184abba8ddb9325aa16d2014870dc249bc73da87d3d5eaccba8f87 with
u2
,
λ x0 x1 x2 x3 x4 x5 .
x2
.
The subproof is completed by applying tuple_6_2_eq.
■