Proofgold Object

λ x0 . ∀ x1 . nIn x1 x0

type
ι → ο

theory
HotG

name
empty_p

definition
PUha4..

Megalodon
-

proofgold address
TMJFS..

creator
4903 Pr6Pc../229ed..

owner
4903 Pr6Pc../229ed..

term root
5adfc..