Proofgold Object

λ x0 x1 : ι → ι → ο . λ x2 . or (6fe8d.. x0 x1 5c39b.. x2 6915e..) (6fe8d.. x0 x1 5c39b.. x2 32d20..)

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

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMJk6..

creator
1880 PrGxv../1dfcd..

owner
1880 PrGxv../1dfcd..

term root
acffe..