Proofgold Object

λ x0 x1 : (ι → ο) → ο . 3a6d0.. x1 x0

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

theory
HF

name
-

definition
PUXbj..

Megalodon
incl_2_3

proofgold address
TMKFJ..^incl_2_3

creator
1478 PrGxv../ad106..

owner
1478 PrGxv../ad106..

term root
2911a..