Proofgold Object

λ x0 : ι → ι → ο . and (b531a.. x0) (∀ x1 . x0 (57d6a.. 3cd3c.. (57d6a.. cb931.. x1)) (d7cf0.. 1f2c4.. (λ x2 . 57d6a.. 3cd3c.. (57d6a.. x1 x2))))

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUWQ4..

Megalodon
-

proofgold address
TMP7b..

creator
1995 PrGxv../37204..

owner
1995 PrGxv../37204..

term root
c1fa7..