Proofgold Object

λ x0 x1 . UPair (Sing x1) (UPair x1 x0)

type
ι → ι → ι

theory
HotG

name
KPair_alt2

definition
PUhvy..

Megalodon
-

proofgold address
TMGAi..

creator
12928 Pr6Pc../08a86..

owner
12928 Pr6Pc../08a86..

term root
9cdb1..