Proofgold Proposition

∀ x0 : ι → ο . x0 1 ⟶ x0 omega ⟶ ∃ x1 . ∃ x3 : ι → ι . ∃ x5 x7 x9 . ∃ x11 : ι → ι → ι → ι . MetaCat_nno_p x0 HomSet lam_id (λ x13 x14 x15 . lam_comp x13) x1 x3 x5 x7 x9 x11

type
prop

theory
HotG

name
-

proof
PUcag..

Megalodon
MetaCatSet_nno_gen_ex

proofgold address
TMRDj..^{MetaCatSet_nno_gen_ex}

creator
11547 PrEBh../4c13d..

owner
11561 PrEBh../31297..

term root
39316..