Proofgold Object

λ x0 . λ x1 x2 : ι → ο . ∀ x3 : ο . (∀ x4 . and (prim1 x4 x0) (and (and (PNoEq_ x4 x1 x2) (not (x1 x4))) (x2 x4)) ⟶ x3) ⟶ x3

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

theory
HoTg

name
PNoLt_

definition
PUdWB..

Megalodon
-

proofgold address
TMT4a..

creator
2791 PrGxv../0d8b1..

owner
2791 PrGxv../0d8b1..

term root
34de6..