Proofgold Object

λ x0 . λ x1 : ι → ο . 94f9e.. (1216a.. x0 x1)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMZmW..

creator
1652 PrGxv../e8a35..

owner
1652 PrGxv../e8a35..

term root
bf4f6..