Proofgold Object

λ x0 : ι → (ι → ι → ι → ο) → ι → ι → ο . λ x1 . Descr_iio (6f52e.. x0 x1)

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

theory
HF

name
-

definition
PUXbj..

Megalodon
In_rec_iio

proofgold address
TMScW..^In_rec_iio

creator
1478 PrGxv../ef8cb..

owner
1478 PrGxv../ef8cb..

term root
f9318..