Proofgold Object

b3303.. (λ x0 . λ x1 : ι → ι . 02a50.. (94f9e.. (5246e.. x0) x1) (94f9e.. (23e07.. x0) x1))

type
ι → ι

theory
HoTg

name
-

definition
PUTG4..

Megalodon
-

proofgold address
TMNKt..

creator
3831 PrGxv../42816..

owner
3831 PrGxv../42816..

term root
1dbc8..