Proofgold Object

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

type
ι → ι

theory
HotG

name
-

definition
PUStC..

Megalodon
-

proofgold address
TMa95..

creator
35044 PrHS6../22b16..

owner
35044 PrHS6../22b16..

term root
e04b9..