Proofgold Object

λ x0 : ι → ι → ο . 8e91b.. (051a7.. (λ x1 x2 . or (or (x0 x1 x2) (1ca3e.. x1 x2)) (93971.. x1 x2)))

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

theory
HOAS

name
-

definition
PULLz..

Megalodon
-

proofgold address
TMFYG..

creator
1880 PrGxv../5b7c5..

owner
1880 PrGxv../5b7c5..

term root
46a74..