Proofgold Object

λ x0 . 25755.. x0 (λ x1 . x0)

type
ι → CT2 ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMJGZ..

creator
2774 PrGxv../39017..

owner
2774 PrGxv../39017..

term root
efd72..