Proofgold Proposition

prim3 0 = 0

type
prop

theory
HotG

name
Union_Empty

proof
PUL8Q..

Megalodon
Union_Empty

proofgold address
TMMwT..^Union_Empty

creator
4882 Pr6Pc../be1f2..

owner
4882 Pr6Pc../be1f2..

term root
2c511..