Proofgold Object

λ x0 : ι → ι → ο . λ x1 . inv {x2 ∈ setminus u18 (binunion (DirGraphOutNeighbors u18 x0 x1) (Sing x1))|equip (binintersect (DirGraphOutNeighbors u18 x0 x2) (DirGraphOutNeighbors u18 x0 x1)) u1} (4b3fa.. x0 x1)

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

theory
HotG

name
-

definition
PUdHT..

Megalodon
-

proofgold address
TMdbs..

creator
31037 Pr4zB../2f997..

owner
31037 Pr4zB../2f997..

term root
71d80..