Proofgold Object

λ x0 x1 . 3097a.. x1 (λ x2 . x0)

type
ι → ι → ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMJH4..

creator
2774 PrGxv../f1ef4..

owner
2774 PrGxv../f1ef4..

term root
c045b..