Proofgold Object

ad3ed.. (λ x0 x1 . λ x2 : ι → ι → ι . 02a50.. (0ac37.. (94f9e.. (23e07.. x0) (λ x3 . x2 x3 x1)) (94f9e.. (23e07.. x1) (x2 x0))) (0ac37.. (94f9e.. (5246e.. x0) (λ x3 . x2 x3 x1)) (94f9e.. (5246e.. x1) (x2 x0))))

type
ι → ι → ι

theory
HoTg

name
-

definition
PUTG4..

Megalodon
-

proofgold address
TMNzW..

creator
3831 PrGxv../47459..

owner
3831 PrGxv../47459..

term root
35272..