Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . x0 x1 ⟶ struct_u x1) ⟶ x0 (pack_u 0 (λ x1 . x1)) ⟶ MetaCat_initial_p x0 UnaryFuncHom struct_id struct_comp (pack_u 0 (λ x1 . x1)) (λ x1 . lam 0 (λ x2 . x2))

type
prop

theory
HotG

name
-

proof
PUYhi..

Megalodon
-

proofgold address
TMPVP..

creator
11768 PrEBh../d0a67..

owner
11768 PrEBh../d0a67..

term root
c7314..