Proofgold Proposition

∀ x0 : ι → ο . x0 1 ⟶ MetaCat_terminal_p x0 HomSet (λ x1 . lam x1 (λ x2 . x2)) (λ x1 x2 x3 x4 x5 . lam x1 (λ x6 . ap x4 (ap x5 x6))) 1 (λ x1 . lam x1 (λ x2 . 0))

type
prop

theory
HotG

name
-

proof
PUcag..

Megalodon
-

proofgold address
TMKcd..

creator
11547 PrEBh../50aaf..

owner
11547 PrEBh../50aaf..

term root
c6318..