Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_31dcb8d5525508863c1b21cc955e4d494ebb1701faf26ee1ff3607fb19489de7 with
λ x0 .
x0
∈
prim6
0
.
The subproof is completed by applying UnivOf_In with
0
.
■