Proofgold Object

λ x0 x1 . f482f.. (f482f.. x0 x1)

type
ι → ι → ι → ι

theory
HoTg

name
-

definition
PUTo6..

Megalodon
-

proofgold address
TMQPP..

creator
2774 PrGxv../02bb9..

owner
2774 PrGxv../02bb9..

term root
6571a..