Proofgold Object

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

type
ι → ι → ι

theory
HotG

name
KPair_alt7

definition
PUYSq..

Megalodon
-

proofgold address
TMEtD..

creator
4892 Pr6Pc../d2f4d..

owner
4892 Pr6Pc../d2f4d..

term root
ed4cd..