Proofgold Object

λ x0 : (ι → ο) → ο . Descr_Vo1 (λ x1 : ι → ο . 407b5.. x1 = x0)

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

theory
HF

name
-

definition
PUKiR..

Megalodon
down_2_1

proofgold address
TMKGq..^down_2_1

creator
1627 PrGxv../78ac4..

owner
1627 PrGxv../78ac4..

term root
036f9..