Proofgold Object

λ x0 : (ι → ι) → ο . λ x1 . x1 = fa4ab.. x0 (λ x3 : ι → ι . x3 x1)

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

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMQ12..

creator
1652 PrGxv../5e3c1..

owner
1652 PrGxv../5e3c1..

term root
9f485..