Proofgold Object

λ x0 x1 . {If_i (0 ∈ x2) x0 x1|x2 ∈ prim4 (prim4 0)}

type
ι → ι → ι

theory
HotG

name
UPair

definition
PUL8Q..

Megalodon
UPair

proofgold address
TMX4E..^UPair

creator
4882 Pr6Pc../eb07c..

owner
4882 Pr6Pc../eb07c..

term root
74243..