Search for blocks/addresses/...
Proofgold Proposition
∀ x0 x1 .
∀ x2 :
ι →
ι → ι
.
∀ x3 :
ι → ο
.
x0
=
pack_b_p
x1
x2
x3
⟶
x1
=
ap
x0
0
type
prop
theory
HotG
name
pack_b_p_0_eq
proof
PUVAe..
Megalodon
-
proofgold address
TMTqi..
creator
4929
Pr6Pc..
/
7bbdd..
owner
4929
Pr6Pc..
/
7bbdd..
term root
efb81..