Proofgold Object

λ x0 . lam x0 (λ x1 . lam x0 (λ x2 . If_i (x1 = x2) 1 0))

type
ι → ι

theory
HotG

name
-

definition
PUZw1..

Megalodon
-

proofgold address
TMcmU..

creator
48789 PrMzh../6ac96..

owner
48789 PrMzh../6ac96..

term root
3bf8a..