Proofgold Object

λ x0 . {x1 ∈ prim4 (SNoElts_ x0)|∃ x2 . and (x2 ∈ x0) (SNo_ x2 x1)}

type
ι → ι

theory
HotG

name
SNoS_

definition
PUUwp..

Megalodon
SNoS_

proofgold address
TMS7R..^SNoS_

creator
4910 Pr6Pc../e3203..

owner
4910 Pr6Pc../e3203..

term root
d5069..