Proofgold Object

λ x0 : ι → ο . 8e91b.. (4b3e1.. x0)

type
(ι → ο) → ι → ι → ο

theory
HOAS

name
-

definition
PUf2B..

Megalodon
-

proofgold address
TMPc4..

creator
1788 PrGxv../4e29d..

owner
1788 PrGxv../4e29d..

term root
8d3ae..