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..