Proofgold Object

λ x0 . 38062.. x0 (λ x1 . x0)

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

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMcQf..

creator
2774 PrGxv../38c53..

owner
2774 PrGxv../38c53..

term root
b4394..