Proofgold Object

λ x0 x1 . or (prim1 x1 x0) (and (empty_p x0) (empty_p x1))

type
ι → ι → ο

theory
HoTg

name
-

definition
PUanJ..

Megalodon
-

proofgold address
TMScc..

creator
2190 PrGxv../80235..

owner
2190 PrGxv../80235..

term root
8a009..