Proofgold Object

λ x0 . {x1 ∈ prim4 (SNoElts_ x0)|∀ x2 : ο . (∀ x3 . and (x3 ∈ x0) (SNo_ x3 x1) ⟶ x2) ⟶ x2}

type
ι → ι

theory
HotG

name
SNoS_

definition
PUUwp..

Megalodon
SNoS_

proofgold address
TMS7R..^SNoS_

creator
4910 Pr6Pc../e3203..

owner
4910 Pr6Pc../e3203..

term root
d5069..