Proofgold Object

λ x0 . λ x1 : ι → ι . λ x2 . Eps_i (λ x3 . and (In x3 x0) (x1 x3 = x2))

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

theory
HF

name
-

definition
PUVGM..

Megalodon
inv

proofgold address
TMNbQ..^inv

creator
2277 PrGxv../83724..

owner
2277 PrGxv../83724..

term root
b34fe..