Proofgold Proposition

Union 0 = 0

type
prop

theory
HF

name
-

proof
PUh9N..

Megalodon
Union_Empty

proofgold address
TMJT7..^Union_Empty

creator
1168 PrGxv../74bfd..

owner
1168 PrGxv../74bfd..

term root
e47e1..