Proofgold Object

λ x0 : ι → ο . λ x1 x2 . or (x0 x2) (x2 = x1)

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

theory
HOAS

name
-

definition
PUcHm..

Megalodon
-

proofgold address
TMRPG..

creator
1745 PrGxv../13282..

owner
1745 PrGxv../13282..

term root
94ef3..