Proofgold Object

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

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMFJR..

creator
1652 PrGxv../b1bd8..

owner
1652 PrGxv../b1bd8..

term root
b6e4d..