Proofgold Object

λ x0 : ι → ο . df3ca.. (707bb.. x0) (4b3e1.. x0)

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

theory
HOAS

name
-

definition
PUf2B..

Megalodon
-

proofgold address
TMUMw..

creator
1788 PrGxv../ab9a0..

owner
1788 PrGxv../ab9a0..

term root
41f06..