Proofgold Object

λ x0 x1 : ι → ι . λ x2 . prim1 (x1 x2) (x0 x2)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMXMA..

creator
1652 PrGxv../98cdd..

owner
1652 PrGxv../98cdd..

term root
6a284..