Proofgold Object

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

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

theory
HotG

name
Descr_iio

definition
PUVNt..

Megalodon
Descr_iio

proofgold address
TMJ6a..^Descr_iio

creator
4897 Pr6Pc../154eb..

owner
4897 Pr6Pc../154eb..

term root
e8e51..