Proofgold Object

λ x0 x1 : ι → ι . λ x2 . True

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMRxy..

creator
1652 PrGxv../8b06f..

owner
1652 PrGxv../8b06f..

term root
28d46..