Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . (∀ x1 . (∀ x2 : ο . (∀ x3 : ι → ι . (∀ x4 : ο . (∀ x5 . (∀ x6 : ο . (∀ x7 . (∀ x8 : ο . (∀ x9 . (∀ x10 : ο . (∀ x11 : ι → ι → ι → ι . MetaCat_nno_p SelfInjection UnaryFuncHom struct_id struct_comp x1 x3 x5 x7 x9 x11x10)x10)x8)x8)x6)x6)x4)x4)x2)x2)x0)x0
type
prop
theory
HotG
name
-
proof
PUe8q..
Megalodon
MetaCat_struct_u_inj_nno
proofgold address
TMXJ8..MetaCat_struct_u_inj_nno
creator
35047 PrHS6../abaa1..
owner
35050 PrHS6../2bc03..
term root
23ecf..