Proofgold Object

λ x0 : ι → ι → ο . and (934b2.. x0) (x0 62f06.. 48ac8..)

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUWQ4..

Megalodon
-

proofgold address
TMdy8..

creator
1995 PrGxv../96154..

owner
1995 PrGxv../96154..

term root
46449..