Search for blocks/addresses/...
Proofgold Proposition
∃ x0 x2 x4 :
ι →
ι →
ι →
ι →
ι → ι
.
∃ x6 :
ι →
ι →
ι →
ι →
ι →
ι →
ι →
ι → ι
.
MetaCat_pullback_struct_p
SelfInjection
UnaryFuncHom
struct_id
struct_comp
x0
x2
x4
x6
type
prop
theory
HotG
name
-
proof
PUboj..
Megalodon
MetaCat_struct_u_inj_pullback_constr
proofgold address
TMQUm..
MetaCat_struct_u_inj_pullback_constr
creator
11858
PrEBh..
/
a6663..
owner
11867
PrEBh..
/
98b1c..
term root
73858..