Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 . prim0 (λ x3 . and (x3 ∈ binintersect (DirGraphOutNeighbors u18 x0 x2) (DirGraphOutNeighbors u18 x0 x1)) (x3 = 4b3fa.. x0 x1 x2 ⟶ ∀ x4 : ο . x4))

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

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMHA3..

creator
31037 Pr4zB../706d1..

owner
31037 Pr4zB../706d1..

term root
c6e09..