Proofgold Object

λ x0 . binunion x0 (Sing x0)

type
ι → ι

theory
HotG

name
ordsucc

definition
PUL8Q..

Megalodon
ordsucc

proofgold address
TMKDT..^ordsucc

creator
4882 Pr6Pc../8098d..

owner
4882 Pr6Pc../8098d..

term root
65d88..