Proofgold Term Root Disambiguation

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

as obj
4b3fa..

as prop
-

theory
HotG

stx
ccf27..

address
TMJ2A..