Proofgold Object

λ x0 : ι → ι → ο . and (14a9a.. x0) (x0 5da20.. e9f3d..)

type
(ι → ι → ο) → ο

theory
HOAS

name
-

definition
PUNEB..

Megalodon
-

proofgold address
TMUCx..

creator
2336 PrGxv../1823d..

owner
2336 PrGxv../1823d..

term root
d1c2a..