Proofgold Object

λ x0 : ι → ι → ο . and (9315d.. x0) (∀ x1 . x0 (57d6a.. 67ee8.. (57d6a.. 27862.. x1)) (d7cf0.. 1f2c4.. (λ x2 . 57d6a.. 67ee8.. (57d6a.. x1 x2))))

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUWQ4..

Megalodon
-

proofgold address
TMFbr..

creator
1995 PrGxv../30a53..

owner
1995 PrGxv../30a53..

term root
dd093..