Proofgold Object

λ x0 . UPair x0 x0

type
ι → ι

theory
HotG

name
Sing

definition
PUL8Q..

Megalodon
Sing

proofgold address
TMYwd..^Sing

creator
4882 Pr6Pc../bcd18..

owner
4882 Pr6Pc../bcd18..

term root
bd01a..