Proofgold Proposition

type
prop

theory
HotG

name
finite_Empty

proof
PUMXD..

Megalodon
finite_Empty

proofgold address
TMHQq..^finite_Empty

creator
12443 PrGxv../5712e..

owner
12443 PrGxv../5712e..

term root
c073c..