Proofgold Object

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

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

theory
HF

name
Descr_iio

definition
PUXbj..

Megalodon
Descr_iio

proofgold address
TMYtu..^Descr_iio

creator
1478 PrGxv../e2985..

owner
1478 PrGxv../e2985..

term root
e8e51..