Proofgold Object

λ x0 . not (empty_p x0)

type
ι → ο

theory
HotG

name
-

definition
PUha4..

Megalodon
-

proofgold address
TMaCS..

creator
4903 Pr6Pc../1e3d1..

owner
4903 Pr6Pc../1e3d1..

term root
4ae83..