Proofgold Object

λ x0 x1 x2 . ∀ x3 : ι → ι → ο . x3 4a7ef.. x1 ⟶ (∀ x4 . ba9d8.. x4 ⟶ ∀ x5 . x3 x4 x5 ⟶ x3 (4ae4a.. x4) (prim3 x5)) ⟶ x3 x0 x2

type
ι → ι → ι → ο

theory
HoTg

name
-

definition
PUUEj..

Megalodon
-

proofgold address
TML4p..

creator
2699 PrGxv../67383..

owner
2699 PrGxv../67383..

term root
802b4..