Proofgold Object

λ x0 : ι → (ι → ο) → ο . Descr_Vo1 (x0 (DescrR_i_io_1 x0))

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

theory
HotG

name
DescrR_i_io_2

definition
PUQ2Y..

Megalodon
DescrR_i_io_2

proofgold address
TMSA1..^{DescrR_i_io_2}

creator
4903 Pr6Pc../2586a..

owner
4903 Pr6Pc../2586a..

term root
768eb..