Proofgold Object

λ x0 . 92512.. x0 (λ x1 . λ x2 x3 : ι → ι → ι . λ x4 x5 . e707a.. x1 x2 x3 x4)

type
ι → ι

theory
HoTg

name
-

definition
PURd1..

Megalodon
-

proofgold address
TMTBa..

creator
4786 PrGxv../545aa..

owner
4786 PrGxv../545aa..

term root
45321..