Proofgold Object

λ x0 : ι → ι → ο . and (0ec24.. x0) (x0 0ad46.. b02dd..)

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUenj..

Megalodon
-

proofgold address
TMTh1..

creator
2153 PrGxv../adc9a..

owner
2153 PrGxv../adc9a..

term root
316df..