Search for blocks/addresses/...

Proofgold Proof

pf
Apply unknownprop_9b7e08ae09184abba8ddb9325aa16d2014870dc249bc73da87d3d5eaccba8f87 with u1, λ x0 x1 x2 x3 x4 x5 . x1. The subproof is completed by applying tuple_6_1_eq. ■