Proofgold Object

λ x0 x1 . binunion x0 (Sing x1)

type
ι → ι → ι

theory
HotG

name
SetAdjoin

definition
PUL8Q..

Megalodon
SetAdjoin

proofgold address
TMLYe..^SetAdjoin

creator
4882 Pr6Pc../4a8a5..

owner
4882 Pr6Pc../4a8a5..

term root
1f3a0..