Proofgold Object

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

type
ι → ι

theory
HotG

name
SNoElts_

definition
PUUwp..

Megalodon
SNoElts_

proofgold address
TMX8t..^SNoElts_

creator
4910 Pr6Pc../d8d49..

owner
4910 Pr6Pc../d8d49..

term root
c0ec7..