Proofgold Object

λ x0 x1 . In x1 x0

type
ι → ι → ο

theory
HF

name
-

definition
PUXbj..

Megalodon
incl_0_1

proofgold address
TMcH8..^incl_0_1

creator
1478 PrGxv../8be34..

owner
1478 PrGxv../8be34..

term root
33a30..