Proofgold Object

λ x0 x1 x2 x3 . or (x0 ∈ x2) (and (x0 = x2) (x1 ∈ x3))

type
ι → ι → ι → ι → ο

theory
HotG

name
-

definition
PUeTM..

Megalodon
-

proofgold address
TMW9E..

creator
20800 Pr4zB../62d79..

owner
20800 Pr4zB../62d79..

term root
4ce65..