Proofgold Object

λ x0 . λ x1 : ι → ο . binunion (Sep x0 x1) {SetAdjoin x2 (Sing 1)|x2 ∈ x0,not (x1 x2)}

type
ι → (ι → ο) → ι

theory
HotG

name
PSNo

definition
PUUwp..

Megalodon
PSNo

proofgold address
TMTsR..^PSNo

creator
4910 Pr6Pc../1a8da..

owner
4910 Pr6Pc../1a8da..

term root
3657a..