Proofgold Object

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

type
ι → ι → ι → ι → ο

theory
HotG

name
In2_lexicographic

definition
PULCC..

Megalodon
-

proofgold address
TMHVT..

creator
20801 Pr4zB../bb5f0..

owner
20801 Pr4zB../bb5f0..

term root
37ac5..