Search for blocks/addresses/...
Proofgold Proposition
∃ x0 x2 :
ι →
ι →
ι →
ι → ι
.
∃ x4 :
ι →
ι →
ι →
ι →
ι →
ι → ι
.
MetaCat_equalizer_struct_p
struct_u
UnaryFuncHom
struct_id
struct_comp
x0
x2
x4
type
prop
theory
HotG
name
-
proof
PUYhi..
Megalodon
MetaCat_struct_u_equalizer_constr
proofgold address
TMUx5..
MetaCat_struct_u_equalizer_constr
creator
11768
PrEBh..
/
cee71..
owner
11777
PrEBh..
/
510f6..
term root
a4111..