Proofgold Object

λ x0 . not (empty_p x0)

type
ι → ο

theory
HoTg

name
-

definition
PUK9b..

Megalodon
-

proofgold address
TMThN..

creator
3656 PrGxv../59652..

owner
3656 PrGxv../59652..

term root
4ae83..