Search for blocks/addresses/...
Proofgold Proof
pf
Apply unknownprop_8583c67a5354a94a214412f684d3146c279871f65a15e5b831f23231b1641441 with
λ x0 x1 :
ι → ι
.
x1
0
=
0
.
The subproof is completed by applying unknownprop_4b35bc799de87a3c360cc548afbc8586250273d41009d6af2df760044ee548f0 with
Inj1
.
■