Proofgold Object

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

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

theory
HotG

name
Descr_Vo1

definition
PUKtJ..

Megalodon
Descr_Vo1

proofgold address
TMS1y..^Descr_Vo1

creator
4890 Pr6Pc../226b3..

owner
4890 Pr6Pc../226b3..

term root
615c0..