Proofgold Object

λ x0 x1 . 0fc90.. x0 (λ x2 . x1)

type
ι → ι → ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMQaJ..

creator
2774 PrGxv../19b93..

owner
2774 PrGxv../19b93..

term root
cd5eb..