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