Proofgold Object

λ x0 x1 x2 . PNoEq_ x0 (λ x3 . x3 ∈ x1) (λ x3 . x3 ∈ x2)

type
ι → ι → ι → ο

theory
HotG

name
SNoEq_

definition
PUUwp..

Megalodon
SNoEq_

proofgold address
TMPsS..^SNoEq_

creator
4910 Pr6Pc../9639a..

owner
4910 Pr6Pc../9639a..

term root
5f11e..