Search for blocks/addresses/...
Proofgold Proof
pf
Let x0 of type
ι
be given.
The subproof is completed by applying unknownprop_00b99f098e382ba06bdf27c1f8397cb4d0cb03894e0fc9c15452b30f363a2468 with
λ x1 x2 :
ι → ο
.
x1
x0
.
■