Proofgold Object

λ x0 x1 . prim3 (UPair x0 x1)

type
ι → ι → ι

theory
HotG

name
binunion

definition
PUL8Q..

Megalodon
binunion

proofgold address
TMWh5..^binunion

creator
4882 Pr6Pc../46c60..

owner
4882 Pr6Pc../46c60..

term root
5e1ac..