Proofgold Object

λ x0 x1 : ι → ο . d97e3.. x1 x0

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

theory
HF

name
-

definition
PUXbj..

Megalodon
incl_1_2

proofgold address
TMVcC..^incl_1_2

creator
1478 PrGxv../a1eea..

owner
1478 PrGxv../a1eea..

term root
2d383..