Proofgold Object

λ x0 . λ x1 x2 : ι → ο . ∃ x3 . and (x3 ∈ x0) (and (and (PNoEq_ x3 x1 x2) (not (x1 x3))) (x2 x3))

type
ι → (ι → ο) → (ι → ο) → ο

theory
HotG

name
PNoLt_

definition
PUQ2Y..

Megalodon
PNoLt_

proofgold address
TMG3o..^PNoLt_

creator
4903 Pr6Pc../7a62b..

owner
4903 Pr6Pc../7a62b..

term root
34de6..