Proofgold Object

λ x0 x1 : ((ι → ο) → ο) → ο . e6217.. x1 x0

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

theory
HF

name
-

definition
PUXbj..

Megalodon
incl_3_4

proofgold address
TMJsS..^incl_3_4

creator
1478 PrGxv../c38e0..

owner
1478 PrGxv../c38e0..

term root
2de62..