Proofgold Object

λ x0 : (ι → ι) → ο . ∀ x1 : (ι → ι) → ι . ∀ x2 : ο . (∀ x3 . (∀ x4 : ι → ι . x0 x4 ⟶ x4 x3 = x1 x4) ⟶ x2) ⟶ x2

type
((ι → ι) → ο) → ο

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMGcF..

creator
1652 PrGxv../d25fb..

owner
1652 PrGxv../d25fb..

term root
103e3..