Proofgold Object

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

type
ο → ι → ι → ι

theory
HotG

name
If_i

definition
PUL8Q..

Megalodon
If_i

proofgold address
TMTZc..^If_i

creator
4882 Pr6Pc../11bb5..

owner
4882 Pr6Pc../11bb5..

term root
b8ff5..