Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . (∀ x1 . (∀ x2 : ο . (∀ x3 : ι → ι . (∀ x4 : ο . (∀ x5 . (∀ x6 : ο . (∀ x7 . (∀ x8 : ο . (∀ x9 . (∀ x10 : ο . (∀ x11 : ι → ι → ι → ι . MetaCat_nno_p PtdPred UnaryPredHom 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
PUSP5..
Megalodon
MetaCat_struct_p_nonempty_nno
proofgold address
TMJA2..MetaCat_struct_p_nonempty_nno
creator
11866 PrEBh../92f60..
owner
11867 PrEBh../5a8ac..
term root
8dadc..