Proofgold Object

λ x0 : ι → ι → ο . λ x1 x2 . prim0 (λ x3 . x3 ∈ binintersect (DirGraphOutNeighbors u18 x0 x2) (DirGraphOutNeighbors u18 x0 x1))

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

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMbGd..

creator
31037 Pr4zB../09fd5..

owner
31037 Pr4zB../09fd5..

term root
a5895..