Proofgold Object

λ x0 . λ x1 x2 : ι → ο . ∀ x3 : ο . (∀ x4 . and (x4 ∈ x0) (and (and (PNoEq_ x4 x1 x2) (not (x1 x4))) (x2 x4)) ⟶ x3) ⟶ 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..