Proofgold Object

λ x0 : ο . λ x1 x2 . prim0 (λ x3 . or (and x0 (x3 = x1)) (and (not x0) (x3 = x2)))

type
ο → ι → ι → ι

theory
HoTg

name
If_i

definition
PULk4..

Megalodon
-

proofgold address
TMQSn..

creator
2719 PrGxv../89d89..

owner
2719 PrGxv../89d89..

term root
b8ff5..