Proofgold Object

λ x0 . λ x1 : ι → ι → ο . λ x2 . {x3 ∈ x0|and (x2 = x3 ⟶ ∀ x4 : ο . x4) (x1 x2 x3)}

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

theory
HotG

name
DirGraphOutNeighbors

definition
PUac6..

Megalodon
-

proofgold address
TMKq8..

creator
22005 Pr4zB../132db..

owner
22005 Pr4zB../132db..

term root
79537..