Proofgold Object

λ x0 x1 . binunion x0 {SetAdjoin x2 (Sing 2)|x2 ∈ x1}

type
ι → ι → ι

theory
HotG

name
SNo_pair

definition
PUgeJ..

Megalodon
SNo_pair

proofgold address
TMS1S..^SNo_pair

creator
4958 Pr6Pc../c4d69..

owner
4958 Pr6Pc../c4d69..

term root
0c801..